• Крайни множества
• Някои примери за графи
• Епсилон-автомати
• Лема за разрастване за безконтекстните езици