{"id":"W2898948556","doi":"10.1016/j.tcs.2018.12.014","title":"State complexity of pattern matching in regular languages","year":2018,"lang":"en","type":"preprint","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Combinatorics; Sigma; Alphabet; Word (group theory); Kappa; Mathematics; State (computer science); Matching (statistics); Discrete mathematics; Physics; Algorithm; Geometry; Statistics; Philosophy; Linguistics","routes":{"ca_aff":true,"ca_fund":true,"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","sts","open_science"],"consensus_categories":["open_science"],"category_scores_codex":[0.003303817,0.0003580261,0.0006009466,0.0004381948,0.0001425039,0.0004317765,0.006139079,0.0001286713,0.00004713048],"category_scores_gemma":[0.00005489845,0.0003081207,0.0001286947,0.0007789311,0.00650233,0.0003853296,0.009290372,0.0005863836,0.00003499021],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009803473,"about_ca_system_score_gemma":0.0002220244,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001088241,"about_ca_topic_score_gemma":0.000008635478,"domain_scores_codex":[0.9960985,0.0003129574,0.0006483415,0.001255933,0.0009637484,0.000720527],"domain_scores_gemma":[0.9970099,0.0002407165,0.0002911729,0.002054228,0.0002044697,0.000199481],"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.000006435434,0.0001026959,0.0001959535,0.0001108619,0.000008150851,0.0000480807,0.002535194,0.0005003465,0.0004827613,0.9460747,0.00002419087,0.04991062],"study_design_scores_gemma":[0.0001293679,0.00007091925,0.003400868,0.0003134912,0.000002737183,0.00001337746,0.00001364626,0.3354577,0.004945799,0.6553774,0.000003809924,0.0002709233],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3344063,0.00005184965,0.6636245,0.000383567,0.0005520878,0.0001799364,0.00001233113,0.0001493248,0.0006401415],"genre_scores_gemma":[0.8699179,0.00000761968,0.1296288,0.0003018923,0.0001160275,0.000006545149,0.000003376032,0.00001394628,0.00000387218],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5355116,"threshold_uncertainty_score":0.9999371,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01904126483298271,"score_gpt":0.2783483248492058,"score_spread":0.2593070600162231,"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."}}