The following pages link to (Q4198075):
Displaying 50 items.
- Transitive sofic spacing shifts (Q255429) (← links)
- The effect of end-markers on counter machines and commutativity (Q265080) (← links)
- Improved linear systolic algorithms for substring statistics (Q287010) (← links)
- Inferring uniquely terminating regular languages from positive data (Q287033) (← links)
- Regular expressions with nested levels of back referencing form a hierarchy (Q293228) (← links)
- On inferring linear single-tree languages (Q294705) (← links)
- Topological language for RNA (Q343072) (← links)
- Descriptional complexity of bounded context-free languages (Q383365) (← links)
- Parsing by matrix multiplication generalized to Boolean grammars (Q385966) (← links)
- Unavoidable regularities in long words with bounded number of symbol occurrences (Q386431) (← links)
- Expressiveness and static analysis of extended conjunctive regular path queries (Q389234) (← links)
- Conjunctive and Boolean grammars: the true general case of the context-free grammars (Q394967) (← links)
- Splicing systems and the Chomsky hierarchy (Q428896) (← links)
- On the mathematical foundations of \textit{Syntactic structures} (Q438597) (← links)
- Descriptional complexity of two-way pushdown automata with restricted head reversals (Q443747) (← links)
- Groups, graphs, languages, automata, games and second-order monadic logic (Q444388) (← links)
- Context-free pairs of groups. I: Context-free pairs and graphs (Q444402) (← links)
- The pseudopalindromic completion of regular languages (Q476182) (← links)
- Head and state hierarchies for unary multi-head finite automata (Q478518) (← links)
- Budget-bounded model-checking pushdown systems (Q479843) (← links)
- Multipass automata and group word problems (Q495997) (← links)
- Two double-exponential gaps for automata with a limited pushdown (Q515677) (← links)
- Theoretical and computational properties of transpositions (Q553917) (← links)
- A representation theorem of infinite dimensional algebras and applications to language theory (Q579947) (← links)
- Membership for growing context-sensitive grammars is polynomial (Q579948) (← links)
- Basic tree transducers (Q579951) (← links)
- Look-ahead on pushdowns (Q579952) (← links)
- Groups and NTS languages (Q580992) (← links)
- Decision problems of object histories (Q582039) (← links)
- HDTOL matching of computations of multitape automata (Q582131) (← links)
- On some decision questions concerning pushdown machines (Q593781) (← links)
- Boundedness testing for unambiguous context-free grammars (Q594604) (← links)
- On the number of nonterminals in linear conjunctive grammars (Q596108) (← links)
- Families of languages defined by ciliate bio-operations (Q596126) (← links)
- The language intersection problem for non-recursive context-free grammars (Q596298) (← links)
- On stateless deterministic restarting automata (Q611046) (← links)
- Computing by observing: simple systems and simple observers (Q616498) (← links)
- Binary bubble languages and cool-lex order (Q645969) (← links)
- Quasi-rocking real-time pushdown automata (Q650904) (← links)
- Context-free pairs of groups. II: Cuts, tree sets, and random walks (Q658032) (← links)
- Conjunctive query containment with respect to views and constraints (Q672739) (← links)
- Context-free recognition via shortest paths computation: a version of Valiant's algorithm (Q673077) (← links)
- Valuations of languages, with applications to fractal geometry (Q674334) (← links)
- Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates (Q680540) (← links)
- Polynomial time learning of simple deterministic languages via queries and a representative sample (Q706625) (← links)
- First-order logics: some characterizations and closure properties (Q715044) (← links)
- A unifying approach to picture grammars (Q719247) (← links)
- Toward a theory of input-driven locally parsable languages (Q728273) (← links)
- Unavoidable sets and circular splicing languages (Q728277) (← links)
- Some classes of languages in \(NC^ 1\) (Q756426) (← links)
