Escolar Documentos
Profissional Documentos
Cultura Documentos
(Greek letters are written out so this may be read as plain text.)
Contents
Symbol
Alphabet
String or Word
Language, Formal Language
Regular Language
Grammar, Formal Grammar
Regular Grammar
Context Free Language, CFL
Greibach Normal Form, GNF
Chomsky Normal Form
CYK Algorithm
Recursive Languages, Sets
Recursively Enumerable Languages, Sets
Chomsky Hierarchy of Grammars, Languages
P and NP Classes of Languages
Other links
Symbol
A character, glyph, mark.
An abstract entity that has no meaning by itself, often called
uninterpreted.
Letters from various alphabets, digits and special characters are
the most commonly used symbols.
Alphabet
A finite set of symbols.
An alphabet is often denoted by sigma, yet can be given any name.
B = {0, 1} Says B is an alphabet of two symbols, 0 and 1.
C = {a, b, c} Says C is an alphabet of three symbols, a, b and c.
Sometimes space and comma are in an alphabet while other times they
are meta symbols used for descriptions.
(00+11)* is the set of strings {epsilon, 00, 11, 0000, 0011, 1100,
1111,
000000, 000011, 001100, etc. }
note how the union ( + symbol) allows all possible choices
of ordering when used with the Kleene star.
(0+1)* (00+11) is all strings of zeros and ones that end with either
00 or 11. Note that concatenation does not have an
operator
symbol.
Where A is a variable
w is any concatenation of variables and terminals
S -> 0A | 0
A -> 10A
Regular Grammar
A grammar is defined as G = (V, T, P, S) where:
V is a set of symbols called variables, v1, v2, ... ,vn
T is a set of symbols called terminal, t1, t2, ,,, ,tm
P is a set of productions
S is the starting or goal variable from V
coming soon
yacc and bison can process context free grammars and have the ability
to handle some context sensitive grammars as well.
If both a set and its complement are recursively enumerable, then the
set is recursive.
The language class P is the set of languages for which there exists a
deterministic Turing machine that accepts each language in a number of
transitions bounded by a fixed polynomial in the length of the input
string.