@inbook{d8d874b677a348d08b8a2fbbd923f13d,
title = "A Note on Proofs of Earley{\textquoteright}s Recognizer",
abstract = "This paper presents the formalization and verification (in the proof assistant Isabelle) of an abstract inductive version of Earley{\textquoteright}s recognizer, relates it to the standard definition and derives an efficient one-pass algorithm for ε-free grammars. In particular it compares Jones development of Earley{\textquoteright}s recognizer to our own and to the literature.",
author = "Tobias Nipkow and Martin Rau",
note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.",
year = "2024",
doi = "10.1007/978-3-031-66673-5_3",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "45--55",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
}