["language:en", "license:apache-2.0", "size_categories:1K<n<10K", "format:parquet", "modality:text", "library:datasets", "library:pandas", "library:mlcroissant", "library:polars", "region:us", "Regular Languages", "Theoretical Concepts", "Context-Free Languages", "Computability Theory", "Countability Concepts", "Complexity Theory", "reasoning", "theory of computation", "benchmark"]