TY - JOUR
T1 - A hierarchy of real-time deterministic languages and their equivalence
AU - Yehudai, Amiram
PY - 1982/2
Y1 - 1982/2
N2 - An infinite hierarchy of real-time deterministic context free languages is introduced. It specializes the hierarchy of all deterministic languages based on the number of accepting configurations in deterministic pushdown automata accepting the languages. The recently found decision procedure for the equivalence of a real-time strict deterministic language and a deterministic language is then used to show that equivalence of two deterministic languages, one of which is real-time of finite rank in the hierarchy, is also decidable. It was recently shown how to decide whether a deterministic language is real-time strict. This result is used to obtain a decision procedure for a deterministic language checking whether it is real-time of finite rank, and computing its rank if it is finite.
AB - An infinite hierarchy of real-time deterministic context free languages is introduced. It specializes the hierarchy of all deterministic languages based on the number of accepting configurations in deterministic pushdown automata accepting the languages. The recently found decision procedure for the equivalence of a real-time strict deterministic language and a deterministic language is then used to show that equivalence of two deterministic languages, one of which is real-time of finite rank in the hierarchy, is also decidable. It was recently shown how to decide whether a deterministic language is real-time strict. This result is used to obtain a decision procedure for a deterministic language checking whether it is real-time of finite rank, and computing its rank if it is finite.
UR - http://www.scopus.com/inward/record.url?scp=0020091119&partnerID=8YFLogxK
U2 - 10.1016/0022-0000(82)90057-5
DO - 10.1016/0022-0000(82)90057-5
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0020091119
SN - 0022-0000
VL - 24
SP - 91
EP - 100
JO - Journal of Computer and System Sciences
JF - Journal of Computer and System Sciences
IS - 1
ER -