Kaan Taskin

Deterministic Context-Free Languages are Closed Under Complementation (Hopcroft and Ullman)

by Kaan Taskin and Tobias Nipkow

Pushdown Automata

by Kaan Taskin and Tobias Nipkow

Context-Free Grammars and Languages

by Tobias Nipkow, Markus Gschoßmann, Felix Krayer, Fabian Lehr, Bruno Philipp, August Martin Stimpfle, Kaan Taskin and Akihisa Yamada