Čo sa myslí rozhodovateľnou otázkou v kontexte regulárnych jazykov?
Streda, 02 august 2023
by Akadémia EITCA
Rozhodnuteľná otázka v kontexte regulárnych jazykov označuje otázku, na ktorú možno odpovedať algoritmom so zaručene správnym výstupom. Inými slovami, je to otázka, pre ktorú existuje výpočtový postup, ktorý dokáže určiť odpoveď v konečnom čase. Aby sme pochopili pojem