The top documents tagged [bq0finitestate automataq]