Fast, general-purpose grammar-based tokenizers.