Synonyms
Definition
In formal language theory, formal grammar (phrase-structure grammar) is developed to capture the generative process of languages (Hopcroft & Ullman, 1979). A formal grammar is a set of productions (rewriting rules) that are used to generate a set of strings, that is, a language. The productions are applied iteratively to generate a string, a process called derivation. The simplest kind of formal grammar is a regular grammar.
Context-free grammars (CFG) form a more powerful class of formal grammars than regular grammars and are often used to define the syntax of programming languages. Formally, a CFG consists of a set of nonterminal symbols N, a terminal alphabet Σ, a set P of productions (rewriting rules), and a special nonterminal S called the start symbol. For a nonempty set X of symbols, let X * denote the set of all finite strings of symbols in X. Every CFG production has the form S → α, where S ∈ N and α ∈ (N ∪Σ)*. That is, the left-hand side consists of...
Recommended Reading
Durbin, R., Eddy, S., Krogh, A., & Mitchison, G. (1998). Biological sequence analysis. Cambridge, UK: Cambridge University Press.
Hopcroft, J. E., & Ullman, J. D. (1979). Introduction to automata theory, languages and computation. Reading, MA: Addison-Wesley.
Lari, K., & Young, S. J. (1990). The estimation of stochastic context-free grammars using the inside-outside algorithm. Computer Speech and Language, 4, 35–56.
Sakakibara, Y. (1997). Recent advances of grammatical inference. Theoretical Computer Science, 185, 15–45.
Sakakibara, Y. (2005). Grammatical inference in bioinformatics. IEEE Transactions on Pattern Analysis and Machine Intelligence, 27, 1051–1062.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media, LLC
About this entry
Cite this entry
Sakakibara, Y. (2011). Probabilistic Context-Free Grammars. In: Sammut, C., Webb, G.I. (eds) Encyclopedia of Machine Learning. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-30164-8_669
Download citation
DOI: https://doi.org/10.1007/978-0-387-30164-8_669
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-30768-8
Online ISBN: 978-0-387-30164-8
eBook Packages: Computer ScienceReference Module Computer Science and Engineering