Samræmingarverkefni Posts

Samræmingarverkefni PostsAlgorithms, Logic, and Complexity Icelandic-english course dictionary er óleysanlegt ákvörðunarvandamál sem Emil Post lagði til árið 1946. Vandamálið gengur út á að taka tvo endanlega orðalista  og  úr einhverju stafrófi  sem inniheldur minnst tvö tákn og skilar röð af vísum  þar sem  og  fyrir öll  svo að



 Tilvísanir 

Flokkur:Reiknanleikafræði