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