6. 11. 2010 8:05
Tak v tom případě máš čas odpovědět na tuto otázku: Máš nějaké návrhy, jak vytvořit nějaký obecný formalismus pomocí kterého by se dala dala dokazovat kompletnost instručkní sady procesoru?