{"id":"W1539025858","doi":"10.25596/jalc-2004-233","title":"Regular Expressions: New Results and Open Problems","year":2004,"lang":"en","type":"article","venue":"Justus-Liebig-Universität Gießen","topic":"semigroups and automata theory","field":"Computer Science","cited_by":140,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Sketch; Computer science; Regular expression; Theoretical computer science; Programming language; Algorithm","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.01179476,0.002285093,0.003587921,0.005758942,0.003095748,0.01068407,0.004864434,0.004214255,0.01202063],"category_scores_gemma":[0.02184083,0.001772349,0.00408311,0.008186156,0.0182804,0.06214674,0.006444599,0.01372869,0.004393344],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003469535,"about_ca_system_score_gemma":0.00186638,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00138949,"about_ca_topic_score_gemma":0.0008320215,"domain_scores_codex":[0.9921013,0.002720006,0.0006770656,0.001840731,0.002124104,0.0005368211],"domain_scores_gemma":[0.9600866,0.03203243,0.0009151997,0.003498547,0.002408289,0.001058922],"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.00006005435,0.0000856823,0.000310946,0.0007497186,0.00004016239,0.000182595,0.000648583,0.001342274,0.000264825,0.9322502,0.01101349,0.05305145],"study_design_scores_gemma":[0.00001048322,0.00001572059,0.00008308865,0.0001358326,0.00001407567,0.0001672933,0.0002211187,0.002105755,0.0001508296,0.977573,0.01949794,0.00002483344],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02881624,0.2569432,0.5118285,0.07534999,0.005908687,0.0001351839,0.001142599,0.001635612,0.1182399],"genre_scores_gemma":[0.3002919,0.2934745,0.3051217,0.01480765,0.0437234,0.0004673426,0.003087578,0.002410041,0.03661603],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01202063,"threshold_uncertainty_score":0.06237739,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0232650438718394,"score_gpt":0.2315811275553838,"score_spread":0.2083160836835445,"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."}}