𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Ambiguity and decision problems concerning number systems

✍ Scribed by Karel Culik II; Arto Salomaa


Book ID
114037652
Publisher
Elsevier Science
Year
1983
Weight
700 KB
Volume
56
Category
Article
ISSN
0019-9958

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Ambiguity and decision problems for loca
✍ Johnson Murdoch Hart πŸ“‚ Article πŸ“… 1974 πŸ› Elsevier Science 🌐 English βš– 678 KB

Some of the formal properties of the local adjunct languages of Joshi, Kosaraju, and Yamada are developed. This class of languages is a proper subclass of the contextfree languages and is related to the star languages. The first result is that a bounded context-free language is a local adjunct langu

Some Decision Problems Concerning Semili
✍ Tero Harju; Oscar Ibarra; Juhani KarhumΓ€ki; Arto Salomaa πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 189 KB

Let M be a class of automata (in a precise sense to be defined) and M c the class obtained by augmenting each automaton in M with finitely many reversal-bounded counters. We show that if the languages defined by M are effectively semilinear, then so are the languages defined by M c , and, hence, the