On equations for regular languages, finite automata, and sequential networks
From MaRDI portal
(Redirected from Publication:600253)
Cited in
(65)- State-complexity of finite-state devices, state compressibility and incompressibility
- Implicit language equations: existence and uniqueness of solutions
- On generalized language equations
- On the simplest centralizer of a language
- Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata
- Alternating automata: unifying truth and validity checking for temporal logics
- A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
- Succinct representation of regular sets using gotos and Boolean variables
- Decision procedures for inductive Boolean functions based on alternating automata
- From bidirectionality to alternation.
- On classes of tractable unrestricted regular expressions
- Generalized language equations with multiple solutions
- Partial derivatives of regular expressions and finite automaton constructions
- Language equations over a one-letter alphabet with union, concatenation and star: A complete solution
- ON THE ROOT OF LANGUAGES
- Linear parsing expression grammars
- Conversions between six models of finite automata
- Concurrent dynamic algebra
- Taming multirelations
- Square on Deterministic, Alternating, and Boolean Finite Automata
- Generalized acceptance, succinctness and supernondeterministic finite automata.
- A symbolic decision procedure for symbolic alternating finite automata
- Succinct representation of regular languages by Boolean automata. II
- On the closure properties of linear conjunctive languages.
- Descriptional complexity of the forever operator
- A Rice-style theorem for parallel automata
- Equations and regular-like expressions for afa
- Theoretical computer science: computational complexity
- Alternation in two-way finite automata
- Transformation from PLTL to automata via NFGs
- Unresolved systems of language equations: expressive power and decision problems
- Minimisation in logical form
- Kleene closure and state complexity
- Decision problems for language equations
- The commutation of finite sets: A challenging problem
- Alternating automata and temporal logic normal forms
- Descriptional and Computational Complexity of Finite Automata
- Succinct representation of regular languages by Boolean automata
- Unrestricted complementation in language equations over a one-letter alphabet
- Alternating automata on infinite trees
- The state complexity of \(\overline{\varSigma ^*\overline{L}}\) and its connection with temporal logic
- The complexity of concatenation on deterministic and alternating finite automata
- Alternating finite automata and star-free languages
- Efficient implementation of regular languages using reversed alternating finite automata
- Manipulation of regular expressions using derivatives: an overview
- BOOLEAN FUZZY SETS
- Operations on Boolean and Alternating Finite Automata
- Automatic winning shifts
- Domain mu-calculus
- Language equations
- Construction of a Deterministicω-Automaton Using Derivatives
- Reasoning About Regular Properties: A Comparative Study
- A Nivat theorem for weighted alternating automata over commutative semirings
- Decision problems for systems of language equations and inequations
- Descriptional and computational complexity of finite automata -- a survey
- Inferring program specifications in polynomial-time
- Positional simulation of two-way automata: Proof of a conjecture of R. Kannan and generalizations
- Trace semantics via determinization
- Descriptional complexity of regular languages
- An automata-theoretic approach to linear temporal logic
- On the role of complementation in implicit language equations and relations
- Two-way automata and length-preserving homomorphisms
- Implementing automata. Selected papers from the 2nd international workshop, WIA '97, Univ. of Western Ontario, London, Ontario, Canada, September 18--20, 1997
- Rewriting extended regular expressions
- Model checking open systems with alternating projection temporal logic
This page was built for publication: On equations for regular languages, finite automata, and sequential networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q600253)
