|
Journal of Automata, Languages and Combinatorics
formerly:
Journal of Information Processing and Cybernetics /
Elektronische Informationsverarbeitung und Kybernetik
|
|
@article{jalc010401,
author = {Henning Fernau},
title = {Membership for $k$-Limited ET0L Languages is Not Decidable},
journal = jalc,
year = 1996,
volume = 1,
number = 4,
pages = {243--245},
keywords = {formal languages, parallel and regulated rewriting},
abstract = {By the techniques developped in a former paper, we show
how so-called $k$lET0L machines can simulate register
machines, hence proving that there are nonrecursive
languages generable by $k$lET0L systems
(for each fixed $k\in{\Bbb{N}}$).}
}