{"id":"W1583687157","doi":"10.1007/3-540-45452-7_23","title":"Constructing NFAs by Optimal Use of Positions in Regular Expressions","year":2002,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Regular expression; Nondeterministic finite automaton; Computer science; Automaton; Quotient; Nondeterministic algorithm; Expression (computer science); Finite-state machine; Algorithm; Discrete mathematics; Combinatorics; Theoretical computer science; Mathematics; Automata theory; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004657366,0.0003945885,0.0005226464,0.0007761894,0.0001635823,0.0003341988,0.002207822,0.0002832005,0.000052247],"category_scores_gemma":[0.00009271548,0.0003730259,0.0001201618,0.000636405,0.000905444,0.0009347904,0.001161203,0.0006648142,0.000008866363],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001866203,"about_ca_system_score_gemma":0.0001613167,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003813505,"about_ca_topic_score_gemma":0.00001193663,"domain_scores_codex":[0.9969962,0.0000575609,0.0006279307,0.00110816,0.0006680497,0.0005420878],"domain_scores_gemma":[0.9973724,0.0007809698,0.0003409912,0.001244655,0.0001289087,0.0001320502],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009711776,0.000193917,0.0003642877,0.0000836914,0.00002805026,0.0002808901,0.002319293,0.04653808,0.008233838,0.2078529,0.0004337537,0.7336616],"study_design_scores_gemma":[0.0004645848,0.0001638003,0.00008698125,0.001908831,0.00001114931,0.0002453773,0.000001919235,0.9080464,0.01448948,0.07247839,0.001109507,0.0009935559],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001809954,0.000397495,0.9953608,0.0003860003,0.0005753466,0.0002431319,0.00003271319,0.0001025154,0.001092054],"genre_scores_gemma":[0.2128139,0.00005716212,0.7860395,0.0005669252,0.0001235958,0.000008804946,0.00001300015,0.00003504799,0.0003421178],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8615083,"threshold_uncertainty_score":0.9998721,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01848285626588725,"score_gpt":0.2280225686282943,"score_spread":0.2095397123624071,"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."}}