Graph Reachability and Pebble Automata over Infinite Alphabets
Graph-Controlled Insertion-Deletion Systems
Groups defined by automata
Canada
World
United States