- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- 【Updated on June 30, 2025】Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
Map 0L systems with markers
Description
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.