{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002381557,0.0005181797,0.001505986,0.001383837,0.001315248,0.005948692,0.002097907,0.002233226,0.01049194],"category_scores_gemma":[0.02426654,0.0007375937,0.001408438,0.001683256,0.002323455,0.01054269,0.002865135,0.002931585,0.0007033846],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002553161,"about_ca_system_score_gemma":0.00235304,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002123691,"about_ca_topic_score_gemma":0.00187896,"domain_scores_codex":[0.9964141,0.000924526,0.0002413587,0.0007923449,0.0009851675,0.0006424795],"domain_scores_gemma":[0.9634497,0.02996175,0.001705271,0.002530347,0.001376366,0.0009765673],"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.00178216,0.0004233217,0.008990993,0.0005185021,0.0001462066,0.0004363378,0.001387662,0.1274556,0.009460224,0.8023618,0.006254707,0.04078244],"study_design_scores_gemma":[0.00006402301,0.00004382343,0.000746846,0.00001363986,0.0000428047,0.00006858292,0.0001020789,0.3015448,0.002069568,0.6948534,0.0004250562,0.00002541077],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8266851,0.0004405514,0.1523949,0.004186853,0.00009959434,0.0001085167,0.001632435,0.0007398701,0.01371225],"genre_scores_gemma":[0.9886901,0.0001409394,0.007365212,0.000127853,0.00009172525,0.00007125152,0.0006463501,0.0001204307,0.002746212],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01049194,"threshold_uncertainty_score":0.03509903,"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."}}