Unresolved systems of language equations: expressive power and decision problems
type: Item
instance of: scholarly article
title: Unresolved systems of language equations: expressive power and decision problems
zbMATH Open document ID: 1086.68077
author: Alexander Okhotin
published in: Theoretical Computer Science
publication date: 2006-03-20T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03D05
zbMATH DE Number: 5013309
zbMATH Keywords: formal languages
zbMATH Keywords: language equations
zbMATH Keywords: decision problems
describes a project that uses: ALGOL 60
MaRDI profile type: Publication
full work available at URL: j.tcs.2005.07.038
OpenAlex ID: W2070863577
cites work: Polynomial operations and hierarchies of concatenation
cites work: Unification of concept terms in description logics
cites work: Reversal-bounded multipushdown machines
cites work: On equations for regular languages, finite automata, and sequential networks
cites work: Constructive versions of Tarski's fixed point theorems
cites work: Systolic trellis automatata †
cites work: Two Families of Languages Related to ALGOL
cites work: Q4198075
cites work: Q5583856
cites work: Conway's problem for three-word sets.
cites work: Maximal and minimal solutions to language equations
cites work: STACS 2005
cites work: Unrestricted complementation in language equations over a one-letter alphabet
cites work: Q4531380
cites work: Conjunctive grammars and systems of language equations
cites work: Q4449179
cites work: On the equivalence of linear conjunctive grammars and trellis automata
cites work: Boolean grammars
cites work: Decision problems for language equations
cites work: Q4714446
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: Q5588675
cites work: Domain mu-calculus
DOI: 10.1016/J.TCS.2005.07.038
description: scientific article; zbMATH DE number 5013309