Hledat
Zobrazují se záznamy 1-1 z 1
Polynomiální algoritmus pro binární PCP
A polynomial algorithm for the binary PCP
Diplomová práce (OBHÁJENO)
Vedoucí práce: Holub, Štěpán
Datum publikování: 2013
Datum obhajoby: 01. 02. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Postův korespondenční problém, zavedený Emilem Postem v roce 1946, je důležitým příkladem obecně nerozhodnutelného problému. Díky tomu figuruje v důkazech některých výsledků z teorie formálních jazyků, teorie matic a dalších ...
The Post correspondence problem, introduced in 1946 by Emil Post, is an important example of undecidable problem. Therefore PCP figures in pro- ofs of some results in theory of formal languages, matrix theory and other. ...
The Post correspondence problem, introduced in 1946 by Emil Post, is an important example of undecidable problem. Therefore PCP figures in pro- ofs of some results in theory of formal languages, matrix theory and other. ...