๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Sententialism and the problem of clutter

โœ Scribed by Scott Hendricks


Book ID
107611504
Publisher
Springer Netherlands
Year
2006
Tongue
English
Weight
722 KB
Volume
21
Category
Article
ISSN
0353-5150

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


The unsolvability of the equality proble
โœ Meera Blattner ๐Ÿ“‚ Article ๐Ÿ“… 1973 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 258 KB

The equivalence problem for nondeterministic e-free generalized machines is known to be undecidable. It is shown here that the equivalence problem for these machines can be reduced to the equality problem of the sentential forms of a particular type of linear context-free grammars with a center-mark