Publikace na Matematicko-fyzikální fakulta |
2014
Abstrakt
Příspěvek nabízí lingvistická pozorování jako motivaci pro studium formální redukční analýzy. Využívá přitom třídu restartovacích automatů s metainstrukcemi, které pracují s "oblázky" a se dvěma operacemi - delete a shift.