Pseudo-inversion: closure properties and decidability
From MaRDI portal
Publication:2003444
DOI10.1007/s11047-015-9502-9zbMath1415.68123MaRDI QIDQ2003444
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa, Da-Jung Cho, Hwee Kim, Shin-Dong Kang
Publication date: 8 July 2019
Published in: Natural Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11047-015-9502-9
decidability; formal languages; closure properties; pseudo-inversion; reversal-bounded multicounter machines; bio-inspired operation