{"id":"W2083810917","doi":"10.1016/j.tcs.2011.06.021","title":"Finite state complexity","year":2011,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Finite-state machine; Upper and lower bounds; Turing machine; Descriptive complexity theory; Deterministic finite automaton; Prefix; Finite set; State (computer science); Kolmogorov complexity; Finite state; Complexity class; Discrete mathematics; Time complexity; Algorithm","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.001008239,0.0006891871,0.001514818,0.001541304,0.002092258,0.005524571,0.001429884,0.001622682,0.02180243],"category_scores_gemma":[0.007210665,0.0005590511,0.001473978,0.00221271,0.003827931,0.01160851,0.002818737,0.004807249,0.002737937],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002699998,"about_ca_system_score_gemma":0.001463711,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001149371,"about_ca_topic_score_gemma":0.0006369714,"domain_scores_codex":[0.997983,0.0003762933,0.0001217065,0.0005507908,0.0007462452,0.0002218689],"domain_scores_gemma":[0.9928965,0.004743697,0.0002170557,0.001202436,0.0006954888,0.0002448013],"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.000008116908,0.000009752242,0.00008318677,0.00002837966,0.000005783217,0.00001726071,0.0001097603,0.0009404942,0.0001576519,0.9922069,0.001562528,0.004870324],"study_design_scores_gemma":[0.000002181367,0.000002281221,0.00004532794,0.000004397721,0.000003343215,0.00001787348,0.00001517804,0.002159909,0.0001271439,0.9944556,0.003163758,0.000003040637],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1065678,0.005124807,0.4705296,0.01371712,0.0007851573,0.000184185,0.002219798,0.00108674,0.3997848],"genre_scores_gemma":[0.895148,0.00245151,0.03352636,0.0008391615,0.0009476735,0.0002693771,0.001413052,0.0002848401,0.06512009],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02180243,"threshold_uncertainty_score":0.07293636,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0383737367207392,"score_gpt":0.2457693911231029,"score_spread":0.2073956544023637,"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."}}