{"id":"W2083735143","doi":"10.1142/s012905410300214x","title":"A FORMAL STUDY OF PRACTICAL REGULAR EXPRESSIONS","year":2003,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":98,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University; Queen's University; University of Prince Edward Island","funders":"","keywords":"Regular expression; Regular language; Computer science; Pumping lemma for regular languages; Context-free language; Context (archaeology); Theoretical computer science; Programming language; Artificial intelligence; Automaton; Biology; Rule-based machine translation; Programming paradigm; Fifth-generation programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006285204,0.0009480452,0.0006959275,0.001480015,0.001951529,0.004305024,0.001702767,0.001531222,0.005449885],"category_scores_gemma":[0.01343328,0.001023704,0.001451682,0.00233618,0.0117636,0.01278266,0.002627136,0.004492398,0.0009879364],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002443261,"about_ca_system_score_gemma":0.001641614,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001282418,"about_ca_topic_score_gemma":0.0006739059,"domain_scores_codex":[0.9939721,0.002323994,0.000564099,0.001302325,0.001392219,0.0004450853],"domain_scores_gemma":[0.985837,0.009533812,0.001107167,0.001804688,0.001398354,0.0003189734],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000005847624,0.000007816318,0.00005758181,0.00004747744,0.000002822125,0.00008797855,0.0003335796,0.0006810165,0.0003266375,0.9955654,0.0003471595,0.002536822],"study_design_scores_gemma":[0.00001825271,0.00004171875,0.0001177684,0.0001126129,0.00001781715,0.0004946262,0.0004157349,0.01048642,0.001985574,0.9107783,0.07550994,0.00002114673],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02633624,0.003254746,0.905077,0.005541334,0.0003069598,0.0002196946,0.0002816281,0.0005745373,0.05840777],"genre_scores_gemma":[0.5367483,0.00394132,0.4287268,0.001731754,0.000957115,0.0007519803,0.0006275937,0.0004339858,0.02608118],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006285204,"threshold_uncertainty_score":0.03323972,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02637070741872171,"score_gpt":0.3423945622337794,"score_spread":0.3160238548150577,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}