Por último, en 1964 Kuroda descubre que los lenguajes de tipo 1 son reconocidos por los autómatas linealmente acotados.