The following pages link to (Q4991691):
Displaying 50 items.
- Nondeterministic Moore automata and Brzozowski's minimization algorithm (Q442154) (← links)
- Head and state hierarchies for unary multi-head finite automata (Q478518) (← links)
- Two-way deterministic automata with two reversals are exponentially more succinct than with one reversal (Q656586) (← links)
- Algorithm for establishing the equivalence of deterministic multitape automata (Q904421) (← links)
- Finite automata and unary languages (Q1099644) (← links)
- Program schemata as automata. I (Q1214748) (← links)
- Decomposition theorems for finite sequential machines (Q1220460) (← links)
- Noiselike transforms of \(\omega\)-events (Q1227706) (← links)
- Complete system of equivalent transformations for two-tape automata with disjoint loops (Q1592077) (← links)
- Interleaving isotactics -- an equivalence notion on behaviour abstractions (Q1643139) (← links)
- Copyless cost-register automata: structure, expressiveness, and closure properties (Q1740663) (← links)
- ptype: probabilistic type inference (Q1987195) (← links)
- A logical and graphical framework for reaction systems (Q2034775) (← links)
- The descriptional power of queue automata of constant length (Q2041686) (← links)
- Finite sequentiality of unambiguous max-plus tree automata (Q2048206) (← links)
- Solving string problems on graphs using the labeled direct product (Q2088591) (← links)
- Deterministic one-way simulation of two-way deterministic finite automata over small alphabets (Q2096581) (← links)
- Disambiguation of weighted tree automata (Q2096595) (← links)
- Converting nondeterministic two-way automata into small deterministic linear-time machines (Q2105419) (← links)
- State complexity of binary coded regular languages (Q2112182) (← links)
- Operations on subregular languages and nondeterministic state complexity (Q2112186) (← links)
- Tree automata and pigeonhole classes of matroids. I (Q2149094) (← links)
- Classes of discrete optimization problems and their decision problems (Q2265336) (← links)
- Determinizing monitors for HML with recursion (Q2291832) (← links)
- Robust biomolecular finite automata (Q2306018) (← links)
- Context-free coalgebras (Q2341705) (← links)
- Construction of a minimal realization and monoid for a fuzzy language: a categorical approach (Q2354210) (← links)
- New operations and regular expressions for two-dimensional languages over one-letter alphabet (Q2484449) (← links)
- Bracketed context-free languages (Q2525996) (← links)
- Probabilistic tree automata and context free languages (Q2542994) (← links)
- Multitape finite automata with rewind instructions (Q2555470) (← links)
- On the decidability of the valuedness problem for two-way finite transducers (Q2672252) (← links)
- Improved complement for two-way alternating automata (Q2675811) (← links)
- Liveness in broadcast networks (Q2676223) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- On the average complexity of partial derivative transducers (Q2699218) (← links)
- On the Hierarchy of Block Deterministic Languages (Q2947409) (← links)
- More on Deterministic and Nondeterministic Finite Cover Automata (Q2947414) (← links)
- From Two-Way to One-Way Finite Automata—Three Regular Expression-Based Methods (Q2947420) (← links)
- Structured Frequency Algorithms (Q2948453) (← links)
- Planning to Chronicle (Q3381972) (← links)
- On the Size of Two-Way Reasonable Automata for the Liveness Problem (Q3451094) (← links)
- Expression-Based Aliasing for OO–languages (Q3460212) (← links)
- More Concise Representation of Regular Languages by Automata and Regular Expressions (Q3533024) (← links)
- On the State Complexity of Operations on Two-Way Finite Automata (Q3533031) (← links)
- Deterministic Input-Reversal and Input-Revolving Finite Automata (Q3540102) (← links)
- Nondeterministic Finite Automata—Recent Results on the Descriptional and Computational Complexity (Q3602795) (← links)
- (Q4643960) (← links)
- (Q5013881) (← links)
- Not by equations alone: Reasoning with extensible effects (Q5018775) (← links)
