Decidability of the consistency problem for regular symbolic picture description languages
From MaRDI portal
Publication:1603368
DOI10.1016/S0020-0190(01)00154-5zbMath1032.68092MaRDI QIDQ1603368
Gennaro Costagliola, Filomena Ferrucci, Carmine Gravino, Vincenzo Deufemia
Publication date: 14 July 2002
Published in: Information Processing Letters (Search for Journal in Brave)
68Q45: Formal languages and automata
Cites Work
- Unnamed Item
- Unnamed Item
- Symbol -- relation grammars: A formalism for graphical languages
- Complexity and decidability for chain code picture languages
- The membership and equivalence problems for picture languages
- Unambiguous description of chain code picture languages
- Using string languages to describe picture languages