自动机数据库

robot database