Sejarah Linear Bounded Automata
Pada tahun 1960, John Myhill memperkenalkan model Automata yang sekarang dikenal sebagai deterministik Linear Bounded Automaton. Pada tahun 1963, Peter S. Landweber membuktikan bahwa bahasa yang diterima oleh LBA deterministik peka terhadap konteks. Pada tahun 1964, S.-Y. Kuroda memperkenalkan model automata terbatas linier (nondeterministik) yang lebih umum, mencatat bahwa bukti Landweber juga berfungsi untuk automata terikat linier nondeterministik, dan menunjukkan bahwa bahasa yang diterima oleh mereka adalah bahasa yang peka konteks. |
| John Myhill |
