Semi-Thue-System

==> Ableitung

<== Ersetzungsgrammatik

==> Ersetzungsregel

<== Grammatiktheorie

==> Sprache, formale

==> Alphabet

==> Kette