State-complexity of finite-state devices, state compressibility and incompressibility (Q5289271): Difference between revisions

@@ Property / author @@
+Jean-Camille Birget
@@ Property / author: Jean-Camille Birget / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization of LR(k) parsers
@@ Property / cites work: Optimization of LR(k) parsers / rank @@
+Normal rank
@@ Property / cites work @@
+Concatenation of inputs in a two-way automaton
@@ Property / cites work: Concatenation of inputs in a two-way automaton / rank @@
+Normal rank
@@ Property / cites work @@
+Positional simulation of two-way automata: Proof of a conjecture of R. Kannan and generalizations
+Normal rank
@@ Property / cites work @@
+Two-way automata and length-preserving homomorphisms
+Normal rank
@@ Property / cites work @@
+STRICT LOCAL TESTABILITY OF THE FINITE CONTROL OF TWO-WAY AUTOMATA AND OF REGULAR PICTURE DESCRIPTION LANGUAGES
+Normal rank
@@ Property / cites work @@
+Partial orders on words, minimal elements of regular languages, and state complexity
+Normal rank
@@ Property / cites work @@
+Intersection and union of regular languages and state complexity
+Normal rank
@@ Property / cites work @@
+Quasi-realtime languages
@@ Property / cites work: Quasi-realtime languages / rank @@
+Normal rank
@@ Property / cites work @@
+On equations for regular languages, finite automata, and sequential networks
+Normal rank
@@ Property / cites work @@
+Q3971274
@@ Property / cites work: Q3971274 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Finite automata and unary languages
@@ Property / cites work: Finite automata and unary languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+One-tape, off-line Turing machine computations
@@ Property / cites work: One-tape, off-line Turing machine computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating Pushdown and Stack Automata
@@ Property / cites work: Alternating Pushdown and Stack Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Succinct representation of regular languages by Boolean automata
+Normal rank
@@ Property / cites work @@
+Succinct representation of regular languages by Boolean automata. II
+Normal rank
@@ Property / cites work @@
+On classes of tractable unrestricted regular expressions
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541339
@@ Property / cites work: Q5541339 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterminism and the size of two way finite automata
+Normal rank
@@ Property / cites work @@
+Q5541340
@@ Property / cites work: Q5541340 / rank @@
+Normal rank
@@ Property / cites work @@
+Halting space-bounded computations
@@ Property / cites work: Halting space-bounded computations / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the reduction of two-way automata to one-way automata
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01371727
+Normal rank
@@ Property / OpenAlex ID @@
+W2091815190
@@ Property / OpenAlex ID: W2091815190 / rank @@
+Normal rank