Map 0L systems with markers
説明
As an extension of binary, propagating map OL systems with markers, map OL systems with markers (mMOL systems) are introduced which are nondeterministic and also neither binary nor propagating. Although most OL systems have a positive solution for their membership problem, the mMOL systems do not have a positive solution for this decision problem. This recursive unsolvability is proved. Also, the generating power is shown.