Short Regular Expressions from Finite Automata: Empirical Results

Short Regular Expressions from Finite Automata: Empirical Results

书目详细资料
Main Authors:	Gruber, H, Holzer, M, Tautschnig, M
格式:	Conference item
出版:	Springer 2009

相似书籍

Finite Tree Automata and W-Automata
由: Hossley, Robert
出版: (2023)

Finite Automata And Applications
由: Elfakhakhre, Nawara R.F.
出版: (2010)

Neutrosophic general finite automata
由: J., Kavikumar, et al.
出版: (2019)

Automata diagram for finite groups
由: Fong, Wan Heng, et al.
出版: (2013)

Unambiguous and finitely ambiguous automata
由: Widdershoven, C
出版: (2022)

Switching and finite automata theory /
由: 458002 Kohavi, Zvi
出版: (1978)

Switching and finite automata theory /
由: 458002 Kohavi, Zvi
出版: (1970)

General fuzzy finite switchboard automata
由: Kavikumar, J., et al.
出版: (2019)

Some memory aspects of finite automata.
出版: (2004)

Diversity-based Inference of Finite Automata
由: Schapire, Robert Elias
出版: (2023)

Synchronous composition of finite interval automata
由: Lin, Liyong, et al.
出版: (2020)

Regular algebra and finite machines /
由: 449141 Conway, John Horton
出版: (1971)

Algebraic study of fuzzy finite switchboard automata
由: Ebas, Nur Ain
出版: (2020)

Some recent simplifications of the theory of finite automata.
出版: (2004)

Revisiting the Equivalence Problem for Finite Multitape Automata
由: Worrell, J
出版: (2013)

Theory of finite automata : with an introduction to formal languages /
由: Carroll, John, 1951-, et al.
出版: (1989)

Two Undecidability Results in Probabilistic Automata Theory
由: Kilian, Joseph J.
出版: (2023)

Two undecidability results in probabilistic automata theory
由: Kilian, Joe.
出版: (2020)

Automata for Branching and Layered Temporal Structures: an investigation into regularities of infinite transition systems
由: Puppis, G
出版: (2010)

Automata cascades: expressivity and sample complexity
由: Ronca, A, et al.
出版: (2023)

Fuzzy finite switchboard automata with complete residuated lattices
由: Ebas, Nur Ain, et al.
出版: (2018)

On the power of nondeterminism in small two-way finite automata
由: Kapoutsis, Christos, 1974-
出版: (2005)

Analisis Peta Perkembangan dan Keragaman Finite Automata
由: Sulistyo, Wiwin, et al.
出版: (2014)

Algorithms and lower bounds in finite automata size complexity
由: Kapoutsis, Christos, 1974-
出版: (2007)

Orbit-finite-dimensional vector spaces and weighted register automata
由: Bojańczyk, M, et al.
出版: (2024)

Randomized Greedy Algorithms for Independent Sets and Matchings in Regular Graphs: Exact Results and Finite Girth Corrections
由: Gamarnik, David, et al.
出版: (2011)

Decidability and complexity results for timed automata via channel machines
由: Abdulla, P, et al.
出版: (2005)

Space ants: Constructing and reconfiguring large-scale structures with finite automata
由: Abdel-Rahman, A, et al.
出版: (2021)

Timely Time Estimates
由: Holzer, A, et al.
出版: (2010)

Expressiveness modulo bisimilarity of regular expressions with parallel composition
由: Baeten, JCM, et al.
出版: (2015)

Query−Driven Program Testing
由: Holzer, A, et al.
出版: (2009)

Query-Driven Program Testing.
由: Holzer, A, et al.
出版: (2009)

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.
由: Holzer, A, et al.
出版: (2008)

How did you specify your test suite ?
由: Holzer, A, et al.
出版: (2010)

An Introduction to Test Specification in FQL.
由: Holzer, A, et al.
出版: (2010)

How did you specify your test suite.
由: Holzer, A, et al.
出版: (2010)

An Introduction to Test Specification in FQL
由: Holzer, A, et al.
出版: (2011)

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
由: Holzer, A, et al.
出版: (2008)

The validity problem for extended regular expressions
由: Micciancio, Daniele
出版: (2005)

CSA 402 - FINITE AUTOMATA AND FORMAL LANGUAGES MAC-APR 1996.
由: PPSKOM, Pusat Pengajian Sains Komputer
出版: (1996)