COMP382 - Theory of Automata - Formal Proofs

preview_player
Показать описание
Chapter1: review of formal proofs

Language Computation and Machines (COMP382 at University of the Fraser Valley)
Textbook:
Introduction to Automata Theory, Languages, and Computation, John Hopcroft and Jeffrey Ullman

Рекомендации по теме