Find link

Automata theory not in CYK algorithm

language:

Find link is a tool written by Edward Betts.

Longer titles found: Introduction to Automata Theory, Languages, and Computation (view), Tree (automata theory) (view)

searching for Automata theory 123 found (473 total)

Symposium on Foundations of Computer Science (534 words) [view diff] case mismatch in snippet view article find links to article

Design, and in 1966–1974 it was known as the Symposium on Switching and Automata Theory. The current name has been used since 1975. Since 1973, the cover page

Sheila Greibach (1,353 words) [view diff] case mismatch in snippet view article find links to article

Conference Record of 1966 Seventh Annual Symposium on Switching and Automata Theory, pages 47-52, Berkeley, California, 26–28 October 1966. IEEE. Sheila

Grzegorz Rozenberg (949 words) [view diff] exact match in snippet view article find links to article

primary research areas are natural computing, formal language and automata theory, graph transformations, and concurrent systems. He is referred to as

Syntactic monoid (1,150 words) [view diff] exact match in snippet view article find links to article

1016/s0019-9958(65)90108-7. Straubing (1994) p.60 Anderson, James A. (2006). Automata theory with modern applications. With contributions by Tom Head. Cambridge:

John Rhodes (mathematician) (538 words) [view diff] case mismatch in snippet view article

entire teaching career. In the late 1960s, Rhodes wrote Applications of Automata Theory and Algebra: Via the Mathematical Theory of Complexity to Biology,

Parity game (1,905 words) [view diff] no match in snippet view article find links to article

A parity game is played on a colored directed graph, where each node has been colored by a priority – one of (usually) finitely many natural numbers. Two

Wang tile (1,500 words) [view diff] exact match in snippet view article find links to article

selected pseudorandomly. Wang tiles have also been used in cellular automata theory decidability proofs. The short story "Wang's Carpets", later expanded

Rational series (571 words) [view diff] exact match in snippet view article find links to article

ISBN 978-0-521-19022-0. Zbl 1250.68007. Sakarovitch, Jacques (2009). Elements of automata theory. Translated from the French by Reuben Thomas. Cambridge: Cambridge

Larry Stockmeyer (545 words) [view diff] case mismatch in snippet view article find links to article

requires exponential space", Proc. 13th Annual Symposium on Switching and Automata Theory, pp. 125–129, doi:10.1109/SWAT.1972.29. Rajsbaum, Sergio (2004), "Larry

Wolfgang Händler (2,177 words) [view diff] exact match in snippet view article find links to article

Mathematische Maschinen und Datenverarbeitung) known for his work on automata theory, parallel computing, artificial intelligence, man-machine interfaces

Hartmut Ehrig (710 words) [view diff] case mismatch in snippet view article find links to article

IEEE Conference Record of 14th Annual Symposium on Switching and Automata Theory (SWAT'08). IEEE. pp. 167–180. doi:10.1109/SWAT.1973.11. Hartmut Ehrig;

Moore neighborhood (564 words) [view diff] exact match in snippet view article find links to article

neighborhood is named after Edward F. Moore, a pioneer of cellular automata theory. It is one of the two most commonly used neighborhood types, the other

Synchronizing word (890 words) [view diff] case mismatch in snippet view article find links to article

Automata and the Černý Conjecture", Proc. 2nd Int'l. Conf. Language and Automata Theory and Applications (LATA 2008), LNCS, vol. 5196, Springer-Verlag, pp

Star height problem (1,353 words) [view diff] exact match in snippet view article find links to article

doi:10.1051/ita:2005027. Sakarovitch, Jacques (2009). Elements of automata theory. Translated from the French by Reuben Thomas. Cambridge: Cambridge

Semiautomaton (1,646 words) [view diff] exact match in snippet view article find links to article

{\displaystyle \Sigma } remains finite, and other typical concerns of automata theory remain in play. Thus, the quantum semiautomaton may be simply defined

Cycle rank (1,221 words) [view diff] exact match in snippet view article find links to article

relation became known as Eggan's theorem, cf. Sakarovitch (2009). In automata theory, a nondeterministic finite automaton with ε-moves (ε-NFA) is defined

Moore machine (1,656 words) [view diff] exact match in snippet view article find links to article

student of the fourth year, A. A. Karatsuba, "On a problem from the automata theory", which was distinguished by testimonial reference at the competition

Satoru Miyano (334 words) [view diff] exact match in snippet view article find links to article

University. In 1985 he also received his PhD with hierarchy theorems in automata theory. In 1987 Miyano became an associate professor at the Faculty of Science

Igor Aleksander (671 words) [view diff] case mismatch in snippet view article find links to article

College Press ISBN 1-86094-036-6. 1975, I.Aleksander, F. Keith Hanna, Automata Theory: An Engineering Approach New York: Crane Russak, London: Edward Arnold

Levenshtein automaton (561 words) [view diff] case mismatch in snippet view article find links to article

Automaton and the Size of the Neighbourhood of a Word" (PDF). Language and Automata Theory and Applications. Lecture Notes in Computer Science. Vol. 9618. Lecture

Boolean-valued function (314 words) [view diff] case mismatch in snippet view article find links to article

Publications, Mineola, NY, 2003. Kohavi, Zvi (1978), Switching and Finite Automata Theory, 1st edition, McGraw–Hill, 1970. 2nd edition, McGraw–Hill, 1978. 3rd

EXPSPACE (648 words) [view diff] case mismatch in snippet view article find links to article

squaring requires exponential space. 13th IEEE Symposium on Switching and Automata Theory, Oct 1972, pp.125–129. Alur, Rajeev; Henzinger, Thomas A. (1994-01-01)

Triple bar (1,060 words) [view diff] case mismatch in snippet view article find links to article

Rakesh; Pandey, Adesh; Gupta, Ritu (2006), Discrete Structures and Automata Theory, Alpha Science Int'l Ltd., p. 277, ISBN 978-1-84265-256-5. Weiner,

Concatenation (1,007 words) [view diff] case mismatch in snippet view article find links to article

Force. Hopcroft, John E.; Ullman, Jeffrey D. (1979). Introduction to Automata Theory, Languages and Computation. Addison-Wesley. ISBN 0-201-02988-X. Corcoran

Extended natural numbers (572 words) [view diff] exact match in snippet view article find links to article

1080/00927872.2017.1360330. Sakarovitch, Jacques (2009). Elements of automata theory. Translated from the French by Reuben Thomas. Cambridge: Cambridge

Javier Esparza (computer scientist) (803 words) [view diff] exact match in snippet view article

aforementioned fields, as well as a book on an algorithmic approach to automata theory (coauthored with Michael Blondin.) Multiple software verification tools

In silico (1,440 words) [view diff] no match in snippet view article find links to article

carried out entirely in a computer in 1989, in the workshop "Cellular Automata: Theory and Applications" in Los Alamos, New Mexico, by Pedro Miramontes, a

Co-NP (964 words) [view diff] case mismatch in snippet view article find links to article

de Zaragoza. 26: 57–68. Hopcroft, John E. (2000). Introduction to Automata Theory, Languages, and Computation (2nd ed.). Boston: Addison-Wesley. ISBN 0-201-44124-1

Albert R. Meyer (394 words) [view diff] case mismatch in snippet view article find links to article

requires exponential space". Proc. 13th Annual Symposium on Switching and Automata Theory. pp. 125–129. doi:10.1109/SWAT.1972.29.. Albert Ronald da Silva Meyer

Glushkov's construction algorithm (1,569 words) [view diff] case mismatch in snippet view article find links to article

S2CID 250833514. Jean-Éric Pin (Nov 2016). Mathematical Foundations of Automata Theory (PDF). Paris: self-published. Giammarresi, Dora; Ponty, Jean-Luc; Wood

Higher-dimensional algebra (1,525 words) [view diff] case mismatch in snippet view article find links to article

Appliquées. 19: 388–391. Baianu, I.C. (1987). "Computer Models and Automata Theory in Biology and Medicine". In M. Witten (ed.). Mathematical Models in

Abstract family of acceptors (1,306 words) [view diff] exact match in snippet view article find links to article

theory paper at the IEEE Eighth Annual Symposium on Switching and Automata Theory in 1967. Seymour Ginsburg, Algebraic and automata theoretic properties

Nonelementary problem (458 words) [view diff] case mismatch in snippet view article find links to article

Stockmeyer, Larry J. (1974), The Complexity of Decision Problems in Automata Theory and Logic (PDF), Ph.D. dissertation, Massachusetts Institute of Technology

Programming language theory (1,613 words) [view diff] case mismatch in snippet view article find links to article

Gross (1996). Introduction to the CUCH. In E. R. Caianiello (ed.), Automata Theory, p. 35–64. Benjamin C. Pierce. 2002. Types and Programming Languages

George E. Collins (247 words) [view diff] case mismatch in snippet view article find links to article

elementary theory of real closed fields by cylindrical algebraic decomposition, Second GI Conf. Automata Theory and Formal Languages, Springer LNCS 33, 1975.

Alternation (formal language theory) (285 words) [view diff] case mismatch in snippet view article

ISBN 9780080916613. John E. Hopcroft and Jeffrey D. Ullman, Introduction to Automata Theory, Languages and Computation, Addison-Wesley Publishing, Reading Massachusetts

Unary numeral system (1,251 words) [view diff] case mismatch in snippet view article find links to article

146–156. Hopcroft, John E.; Ullman, Jeffrey D. (1979), Introduction to Automata Theory, Languages, and Computation, Addison Wesley, Example 7.7, pp. 158–159

P (complexity) (1,940 words) [view diff] exact match in snippet view article

John E.; Rajeev Motwani; Jeffrey D. Ullman (2001). Introduction to automata theory, languages, and computation (2. ed.). Boston: Addison-Wesley. pp. 425–426

Levi's lemma (642 words) [view diff] exact match in snippet view article find links to article

ISBN 978-0-521-59924-5. Sakarovitch, Jacques (2009), Elements of automata theory, Translated from the French by Reuben Thomas, Cambridge: Cambridge

Double pushout graph rewriting (637 words) [view diff] case mismatch in snippet view article find links to article

IEEE Conference Record of 14th Annual Symposium on Switching and Automata Theory (SWAT'08). IEEE. pp. 167–180. doi:10.1109/SWAT.1973.11. Hartmut Ehrig;

Nilsemigroup (427 words) [view diff] case mismatch in snippet view article find links to article

}=yx^{\omega }} . Pin, Jean-Éric (2018-06-15). Mathematical Foundations of Automata Theory (PDF). p. 198. Grillet, P A (1995). Semigroups. CRC Press. p. 110.

Generalized star-height problem (361 words) [view diff] exact match in snippet view article find links to article

1016/0890-5401(92)90063-L. Sakarovitch, Jacques (2009). Elements of automata theory. Translated from the French by Reuben Thomas. Cambridge: Cambridge

Tropical semiring (757 words) [view diff] case mismatch in snippet view article find links to article

ω-automata". In Compton, Kevin; Pin, Jean-Eric; Thomas, Wolfgang (eds.). Automata Theory: Infinite Computations (PDF). Dagstuhl-Seminar-Report. Vol. 28. Schloss

Mealy machine (1,010 words) [view diff] exact match in snippet view article find links to article

Technical Journal. pp. 1045–1079. Holcombe, W.M.L. (1982). Algebraic automata theory. Cambridge Studies in Advanced Mathematics. Vol. 1. Cambridge University

Jarkko Kari (601 words) [view diff] no match in snippet view article find links to article

"Reversibility of 2D cellular automata is undecidable", Cellular automata: theory and experiment (Los Alamos, NM, 1989), Physica D: Nonlinear Phenomena

Cylindrical algebraic decomposition (430 words) [view diff] case mismatch in snippet view article find links to article

closed fields by cylindrical algebraic decomposition, Second GI Conf. Automata Theory and Formal Languages, Springer LNCS 33, 1975. Davenport, James H.;

Alternating Turing machine (2,010 words) [view diff] case mismatch in snippet view article find links to article

retrieved 2025-05-19 Bakhadyr Khoussainov; Anil Nerode (2012). Automata Theory and its Applications. Springer Science & Business Media. ISBN 978-1-4612-0171-7

Semigroup (4,724 words) [view diff] exact match in snippet view article find links to article

semigroups, as well as monographs focusing on applications in algebraic automata theory, particularly for finite automata, and also in functional analysis

Second-order cellular automaton (755 words) [view diff] no match in snippet view article find links to article

Physica D was reprinted as Gutowitz, Howard, ed. (1991), Cellular Automata: Theory and Experiment, MIT/North-Holland. Chai, Zhenchuan; Cao, Zhenfu; Zhou

Alvy Ray Smith (1,756 words) [view diff] exact match in snippet view article find links to article

science from Stanford University, with a dissertation on cellular automata theory jointly supervised by Michael A. Arbib, Edward J. McCluskey, and Bernard

E. W. Beth Dissertation Prize (136 words) [view diff] exact match in snippet view article find links to article

Dortmund 2015 Michał Skrzypczak Descriptive set theoretic methods in automata theory Uniwersytet Warszawski 2014 Thomas Graf Local and Transderivational

Top-down parsing language (922 words) [view diff] case mismatch in snippet view article find links to article

SWAT '70: Proceedings of the 11th Annual Symposium on Switching and Automata Theory: 153–174. doi:10.1109/SWAT.1970.18. Birman, Alexander; Ullman, Jeffrey

Road coloring theorem (676 words) [view diff] exact match in snippet view article find links to article

relation between this notion and that of a synchronizing word in finite automata theory. For such a coloring to exist at all, it is necessary that G be aperiodic

In silico medicine (1,101 words) [view diff] no match in snippet view article find links to article

The term in silico was first used in 1989 at a workshop "Cellular Automata: Theory and Applications" by a mathematician from National Autonomous University

Samvel K. Shoukourian (276 words) [view diff] case mismatch in snippet view article find links to article

Carlos; Dediu, Adrian Horia; Fernau, Henning (2010-05-10). Language and Automata Theory and Applications: 4th International Conference, LATA 2010, Trier, Germany

Cyclic cellular automaton (1,224 words) [view diff] no match in snippet view article find links to article

1016/0167-2789(90)90170-T. Reprinted in Gutowitz, Howard A., ed. (1991). Cellular Automata: Theory and Experiment. MIT Press/North-Holland. pp. 19–25. ISBN 0-262-57086-6

Greibach's theorem (852 words) [view diff] case mismatch in snippet view article find links to article

S2CID 19948229. John E. Hopcroft; Jeffrey D. Ullman (1979). Introduction to Automata Theory, Languages, and Computation. Addison-Wesley. ISBN 0-201-02988-X. p

L/poly (443 words) [view diff] case mismatch in snippet view article find links to article

squares", Proceedings of the 7th Annual IEEE Symposium on Switching and Automata Theory (SWAT 1966), pp. 78–87, doi:10.1109/SWAT.1966.30. Aleliunas, Romas;

Earley parser (1,587 words) [view diff] case mismatch in snippet view article find links to article

2004-07-08 John E. Hopcroft and Jeffrey D. Ullman (1979). Introduction to Automata Theory, Languages, and Computation. Reading/MA: Addison-Wesley. ISBN 978-0-201-02988-8

Gauss notation (486 words) [view diff] case mismatch in snippet view article find links to article

Horia; Ionescu, Armand Mihai; Martín-Vide, Carlos (eds.). Language and Automata Theory and Applications. Lecture Notes in Computer Science. Vol. 5457. Berlin

Graded ring (2,846 words) [view diff] exact match in snippet view article find links to article

Sakarovitch, Jacques (2009). "Part II: The power of algebra". Elements of automata theory. Translated by Thomas, Reuben. Cambridge University Press. p. 384.

Ukkonen's algorithm (1,069 words) [view diff] case mismatch in snippet view article find links to article

matching algorithms" (PDF). 14th Annual Symposium on Switching and Automata Theory (SWAT 1973). pp. 1–11. CiteSeerX 10.1.1.474.9582. doi:10.1109/SWAT

Graph drawing (3,554 words) [view diff] case mismatch in snippet view article find links to article

ISBN 978-3-540-00881-1. Anderson, James Andrew; Head, Thomas J. (2006), Automata Theory with Modern Applications, Cambridge University Press, pp. 38–41,

Transitive closure (2,306 words) [view diff] case mismatch in snippet view article find links to article

and John E. Hopcroft (ed.). Proc. 12th Ann. Symp. on Switching and Automata Theory (SWAT). IEEE Computer Society. pp. 129–131. doi:10.1109/SWAT.1971.4

John Horton Conway (3,411 words) [view diff] exact match in snippet view article find links to article

to the theory of knots, to mathematical logic (both set theory and automata theory) and to the theory of games (as also to its practice). In 2017 Conway

Evolutionary computation (2,970 words) [view diff] case mismatch in snippet view article find links to article

Hopcroft, J.E., R. Motwani, and J.D. Ullman (2001) Introduction to Automata Theory, Languages, and Computation, Addison Wesley, Boston/San Francisco/New

Polynomial hierarchy (2,826 words) [view diff] case mismatch in snippet view article find links to article

Space. In Proceedings of the 13th IEEE Symposium on Switching and Automata Theory, pp. 125–129, 1972. The paper that introduced the polynomial hierarchy

CYK algorithm (2,189 words) [view diff] case mismatch in snippet view article find links to article

NYU. Hopcroft, John E.; Ullman, Jeffrey D. (1979). Introduction to Automata Theory, Languages, and Computation. Reading/MA: Addison-Wesley. ISBN 0-201-02988-X

Harold V. McIntosh (700 words) [view diff] no match in snippet view article find links to article

Howard (ed.), "Wolfram's class IV automata and a good Life", Cellular automata: theory and experiment, proceedings of the workshop held in Los Alamos, New

Sorting network (2,159 words) [view diff] case mismatch in snippet view article find links to article

D.; Závodný, J. (2014). "Optimal Sorting Networks". Language and Automata Theory and Applications. Lecture Notes in Computer Science. Vol. 8370. pp

King's graph (647 words) [view diff] case mismatch in snippet view article find links to article

recognition by cellular automata", 12th Annual Symposium on Switching and Automata Theory, pp. 144–152, doi:10.1109/SWAT.1971.29. Chepoi, Victor; Dragan, Feodor;

Coordination sequence (515 words) [view diff] exact match in snippet view article find links to article

(2022), "Coordination sequences of periodic structures are rational via automata theory", Acta Crystallogr., A78 (2): 155–157, arXiv:2307.15803, doi:10

Kleene's algorithm (998 words) [view diff] case mismatch in snippet view article find links to article

37-40 John E. Hopcroft, Jeffrey D. Ullman (1979). Introduction to Automata Theory, Languages, and Computation. Addison-Wesley. ISBN 0-201-02988-X. Here:

Juris Hartmanis (2,513 words) [view diff] exact match in snippet view article find links to article

article gives a personal account of developments in this area and in automata theory and discusses the underlying beliefs and philosophy that guided his

Ogden's lemma (1,803 words) [view diff] exact match in snippet view article find links to article

Retrieved 16 May 2024. Hopcroft, John E. (1979). Introduction to automata theory, languages, and computation. Jeffrey D. Ullman. Reading, Mass.: Addison-Wesley

Reachability problem (887 words) [view diff] case mismatch in snippet view article find links to article

Hopcroft, Rajeev Motwani, Jeffrey D. Ullman (Eds.): Introduction to Automata Theory, Languages, and Computation - 3rd International Workshop, RP 2011,

Suffix tree (3,710 words) [view diff] case mismatch in snippet view article find links to article

matching algorithms" (PDF), 14th Annual IEEE Symposium on Switching and Automata Theory, pp. 1–11, doi:10.1109/SWAT.1973.13, archived from the original (PDF)

Quantum finite automaton (3,639 words) [view diff] case mismatch in snippet view article find links to article

Mathematical Biophysics, 33 pp.339-354. I. Baianu, "Categories, Functors and Quantum Automata Theory" (1971). The 4th Intl. Congress LMPS, August-Sept.1971

Gad Landau (1,254 words) [view diff] case mismatch in snippet view article find links to article

conferences, most recently, International Conference on Language and Automata Theory and Applications (LATA), International Symposium on String Processing

Time complexity (4,997 words) [view diff] case mismatch in snippet view article find links to article

fields by cylindrical algebraic decomposition". In Brakhage, H. (ed.). Automata Theory and Formal Languages: 2nd GI Conference, Kaiserslautern, May 20–23

Probabilistic automaton (1,726 words) [view diff] no match in snippet view article find links to article

Automata". arXiv:2103.14423 [cs.FL]. Salomaa, Arto (1969). "Finite nondeterministic and probabilistic automata". Theory of Automata. Oxford: Pergamon Press.

String operations (2,321 words) [view diff] case mismatch in snippet view article find links to article

substitutions. Hopcroft, John E.; Ullman, Jeffrey D. (1979). Introduction to Automata Theory, Languages and Computation. Reading, Massachusetts: Addison-Wesley

Peter G. Ossorio (1,205 words) [view diff] exact match in snippet view article find links to article

department</interview with P. G. Ossorio>. He also became familiar with automata theory and was a proficient computer programmer. At UCLA, he worked closely

ILabs (1,335 words) [view diff] exact match in snippet view article find links to article

developed with Francesco Berto and Jacopo Tagliabue – use cellular automata theory as the building block of computation and a perfect isomorphism between

Prague City University (1,203 words) [view diff] exact match in snippet view article find links to article

history of cryptography; links between mathematics and art; cellular automata theory and applications; pattern theory and design; quality assurance and

Random-access stored-program machine (2,620 words) [view diff] case mismatch in snippet view article find links to article

pp. 232–245. John Hopcroft, Jeffrey Ullman (1979). Introduction to Automata Theory, Languages and Computation, 1st ed., Reading Mass: Addison-Wesley.

Profinite word (1,044 words) [view diff] case mismatch in snippet view article find links to article

languages. Pin, Jean-Éric (2022-02-18). Mathematical Foundations of Automata Theory (PDF). pp. 130–139. Almeida, Jorge (1994). Finite semigroups and universal

Splicing language (1,280 words) [view diff] case mismatch in snippet view article find links to article

SpringerLink. doi:10.1007/978-3-662-03563-4. Anderson, James A. (2006). Automata Theory with Modern Applications. Cambridge: Cambridge University Press. doi:10

Harvard Laboratory for Computer Graphics and Spatial Analysis (1,793 words) [view diff] exact match in snippet view article find links to article

collaboration with Nick Chrisman and Jim Dougenik, which was based on automata theory and dynamic scoping. GLIB/LINGUIST provided an English-like user interface

Lee (1961) John Hopcroft, Jeffrey Ullman (1979). Introduction to Automata Theory, Languages and Computation, 1st ed., Reading Mass: Addison-Wesley.

Anatoly Shalyto (2,062 words) [view diff] case mismatch in snippet view article find links to article

/ Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA-2015). 2015, pp. 611–622. Chivilikhin D., Shalyto

Variety of finite semigroups (1,526 words) [view diff] case mismatch in snippet view article find links to article

product. Pin, Jean-Éric (2016-11-30). Mathematical Foundations of Automata Theory (PDF). pp. 141–160. Pin, Jean-Éric (1986). Varieties of formal language

Separating words problem (946 words) [view diff] case mismatch in snippet view article find links to article

ISBN 978-1-4503-8053-9. Shallit, Jeffrey (2014), "Open Problems in Automata Theory: An Idiosyncratic View", British Colloquium for Theoretical Computer

Glob (programming) (2,401 words) [view diff] case mismatch in snippet view article

John E.; Motwani, Rajeev; Ullman, Jeffrey D. (2000). Introduction to Automata Theory, Languages, and Computation (2nd ed.). Addison-Wesley. "Lib/fnmatch

Turing machine equivalents (2,667 words) [view diff] case mismatch in snippet view article find links to article

automaton John Hopcroft and Jeffrey Ullman (1979). Introduction to Automata Theory, Languages and Computation (1st ed.). Addison–Wesley, Reading Mass

Union theorem (290 words) [view diff] case mismatch in snippet view article find links to article

ISBN 9781450374781. Hopcroft, John E.; Ullman, Jeffrey D. (1979). Introduction to Automata Theory, Languages, and Computation (1st ed.). Addison-Wesley. ISBN 0-201-02988-X

Adaptive grammar (2,018 words) [view diff] exact match in snippet view article find links to article

machine he called a structured pushdown automaton, the core of adaptive automata theory as pursued by Iwai, Pistori, Bravo and others. This formalism allows

Markov decision process (5,169 words) [view diff] exact match in snippet view article find links to article

learning scheme with a rigorous proof of convergence. In learning automata theory, a stochastic automaton consists of: a set x of possible inputs, a

Semigroup with three elements (496 words) [view diff] case mismatch in snippet view article find links to article

"This innocuous three-element semigroup plays an important role in what follows..." – Applications of Automata Theory and Algebra by John L. Rhodes.

Counter (digital) (5,935 words) [view diff] case mismatch in snippet view article

Fundamentals. Prentice Hall. ISBN 978-0131989269. Khoussainov; Nerode (2001). Automata Theory and its Applications. Springer. ISBN 978-0-8176-4207-5. Stallings,

Rule 90 (3,317 words) [view diff] exact match in snippet view article find links to article

Chaudhuri, P. Pal (1993), "On explicit expressions in additive cellular automata theory", Information Sciences, 72 (1–2): 83–103, doi:10.1016/0020-0255(93)90030-P

Markov chain (12,900 words) [view diff] case mismatch in snippet view article find links to article

Tweedie. online: CTCN Booth, Taylor L. (1967). Sequential Machines and Automata Theory (1st ed.). New York, NY: John Wiley and Sons, Inc. Library of Congress

Stanisław Ulam (8,121 words) [view diff] exact match in snippet view article find links to article

theoretical biology are considered watersheds in the development of cellular automata theory, population biology, pattern recognition, and biometrics generally

Self-replicating machine (5,231 words) [view diff] exact match in snippet view article find links to article

of Scientific American. Von Neumann's goal for his self-reproducing automata theory, as specified in his lectures at the University of Illinois in 1949

Semigroup with involution (3,615 words) [view diff] case mismatch in snippet view article find links to article

Luka Vol. 9 (2002), 7–47. Sakarovitch, Jacques (2009). Elements of Automata Theory. Cambridge University Press. Petre, Ion; Salomaa, Arto (2009). "Algebraic

Hopcroft–Karp algorithm (3,746 words) [view diff] case mismatch in snippet view article find links to article

Previously announced at the 12th Annual Symposium on Switching and Automata Theory, 1971. Karzanov, A. V. (1973), "An exact estimate of an algorithm for

Anatoly Karatsuba (9,409 words) [view diff] exact match in snippet view article find links to article

problems set up by Kolmogorov. This was essential for the development of automata theory and started a new branch in Mathematics, the theory of fast algorithms

Probabilistic context-free grammar (5,242 words) [view diff] case mismatch in snippet view article find links to article

Addison-Wesley. Hopcroft J. E.; Ullman J. D. (1979). Introduction to Automata Theory, Languages, and Computation. Addison-Wesley. Giegerich R. (2000). "Explaining

Random-access machine (7,515 words) [view diff] case mismatch in snippet view article find links to article

pp. 232–245. John Hopcroft, Jeffrey Ullman (1979). Introduction to Automata Theory, Languages and Computation, 1st ed., Reading Mass: Addison-Wesley.

Semiring (8,021 words) [view diff] exact match in snippet view article find links to article

CS1 maint: location (link) Sakarovitch, Jacques (2009). Elements of automata theory. Translated from the French by Reuben Thomas. Cambridge: Cambridge

Travelling salesman problem (11,604 words) [view diff] case mismatch in snippet view article find links to article

traveling salesperson problem. 15th Annual Symposium on Switching and Automata Theory (swat 1974). doi:10.1109/SWAT.1974.4. Ray, S. S.; Bandyopadhyay, S

Carl Friedrich Gauss (17,941 words) [view diff] case mismatch in snippet view article find links to article

Horia; Ionescu, Armand Mihai; Martín-Vide, Carlos (eds.). Language and Automata Theory and Applications. Lecture Notes in Computer Science. Vol. 5457. Berlin

Karnaugh map (3,588 words) [view diff] case mismatch in snippet view article find links to article

CRC Press. Kohavi, Zvi; Jha, Niraj K. (2009). Switching and Finite Automata Theory (3 ed.). Cambridge University Press. ISBN 978-0-521-85748-2. Grund

History of compiler construction (6,447 words) [view diff] case mismatch in snippet view article find links to article

transduction," focs, pp.21–35, 7th Annual Symposium on Switching and Automata Theory (SWAT 1966), 1966 Lewis, P. M.; Stearns, R. E. (1968). "Syntax-Directed

Special classes of semigroups (428 words) [view diff] case mismatch in snippet view article find links to article

[Pin] Pin, Jean-Éric (2016-11-30). Mathematical Foundations of Automata Theory (PDF). [Fennemore] Fennemore, Charles (1970), "All varieties of bands"

Existential theory of the reals (3,824 words) [view diff] exact match in snippet view article find links to article

elimination for real closed fields by cylindrical algebraic decomposition", Automata theory and formal languages (Second GI Conf., Kaiserslautern, 1975), Lecture

Formal power series (10,139 words) [view diff] exact match in snippet view article find links to article

Semirings and formal power series: Their relevance to formal languages and automata theory. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages

Busy beaver (7,998 words) [view diff] case mismatch in snippet view article find links to article

With 19 references. Booth, Taylor L. (1967). Sequential Machines and Automata Theory. New York: Wiley. ISBN 978-0-471-08848-6. Cf Chapter 9, Turing Machines

Logic optimization (1,657 words) [view diff] case mismatch in snippet view article find links to article

Kohavi, Zvi; Jha, Niraj K. (2009). "4–6". Switching and Finite Automata Theory (3rd ed.). Cambridge University Press. ISBN 978-0-521-85748-2. Rutenbar

Quantum dot cellular automaton (3,257 words) [view diff] case mismatch in snippet view article find links to article

Quantum Automaton: Baianu, I. 1971a. "Categories, Functors and Quantum Automata Theory". The 4th Intl. Congress LMPS, August-Sept.1971; Baianu, I.1971b. "Organismic

LR parser (8,130 words) [view diff] case mismatch in snippet view article find links to article

1971. Hopcroft, John E.; Ullman, Jeffrey D. (1979). Introduction to Automata Theory, Languages, and Computation. Addison-Wesley. ISBN 0-201-02988-X. Here:

Syntactic parsing (computational linguistics) (2,829 words) [view diff] case mismatch in snippet view article

representation of formal languages. 10th Annual Symposium on Switching and Automata Theory. Chen, Danqi; Narasimhan, Karthik (2019). "Constituency Parsing" (PDF)

Alignment-free sequence analysis (6,400 words) [view diff] case mismatch in snippet view article find links to article

pattern matching algorithms". 14th Annual Symposium on Switching and Automata Theory (swat 1973). pp. 1–11. CiteSeerX 10.1.1.474.9582. doi:10.1109/SWAT