The Community for Technology Leaders
Green Image
Issue No. 04 - April (1979 vol. 1)
ISSN: 0162-8828
pp: 415-417
Akira Nakamura , Department of Applied Mathematics, Hiroshima University, Hiroshima, Japan; Computer Science Center, University of Maryland, College Park, MD 20742.
ABSTRACT
It is proved that the emptiness problem for deterministic bottom-up triangle acceptors (BTA's) over a single input symbol is recursively unsolvable. From this result, it is also shown that certain decision problems involving BTA's and BPA's (deterministic bottom-up pyramid acceptors) are unsolvable.
INDEX TERMS
CITATION
Akira Nakamura, "Some Decision Problems for Bottom-Up Triangle Acceptors", IEEE Transactions on Pattern Analysis & Machine Intelligence, vol. 1, no. , pp. 415-417, April 1979, doi:10.1109/TPAMI.1979.4766953
88 ms
(Ver 3.3 (11022016))