Biautomat je typ automatu, který má dvě čtecí hlavy. Jedna čte vstupní pásku zleva doprava a druhá zprava doleva. Na začátku výpočtu je první z nich na začátku pásky se vstupem a druhá na konci zapsaného vstupu. V každém kroku výpočtu přečte biautomat některou hlavou symbol na pásce a změní podle něj vnitřní stav biautomatu. Výpočet končí v okamžiku, kdy hlavy přectou celý vstup, tj. potkají se někde uvnitř slova. Akceptace slova pak závisí na stavu v kterém výpočet skončil.
Student v práci prostuduje a popíše možné varianty formální definice biautomatu, zařadí jazyky rozpoznávané biautomaty do Chomského hierarchie a porovná je s již zavedenými příbuznými modely. Speciální pozornost bude věnována deterministické a nedeterministické verzi biautomatu. Dále student prozkoumá základní vlastnosti jazyků rozpoznávaných biautomaty, zejména uzávěrové vlastnosti a vlastnosti typu "pumping lemma", a ilustruje tyto vlastnosti příklady.