The membership and equivalence problems for picture languages
From MaRDI portal
Publication:1098327
DOI10.1016/0304-3975(87)90107-1zbMath0636.68117OpenAlexW2081346847MaRDI QIDQ1098327
Ivan Hal Sudborough, Changwook Kim
Publication date: 1987
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(87)90107-1
Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Pattern recognition, speech recognition (68T10)
Related Items
On regular drawn symbolic picture languages ⋮ Retreat bounded picture languages ⋮ Unambiguous description of chain code picture languages ⋮ A transformation system for generating description languages of chain code pictures ⋮ Complexity and decidability for restricted classes of picture languages ⋮ Picture iteration and picture ambiguity ⋮ Decision problems and regular chain code picture languages ⋮ On reversal-bounded picture languages ⋮ Adding symbolic information to picture models: definitions and properties ⋮ Two undecidability results for chain code picture languages ⋮ Satisfiability via Smooth Pictures ⋮ Leftmove-bounded picture languages ⋮ Undecidability of existential properties in picture languages ⋮ Decidability of the consistency problem for regular symbolic picture description languages
Cites Work
