著者

Takeshi Hayashi

出版者

Research Institute forMathematical Sciences

雑誌

Publications of the Research Institute for Mathematical Sciences (ISSN:00345318)

巻号頁・発行日

vol.9, no.1, pp.61-92, 1973 (Released:2009-04-24)

参考文献数

6

被引用文献数

39

---

In this paper, the uvwxy-theorem of context-free languages is extended to the case of indexed languages. Applying the extended theorem, it is shown that the finiteness problem for the indexed languages is solvable and certain languages such as {an!| n{≥}1} and {($ w)|w||w∈{a, b}*} are not indexed languages.