{"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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.001601073,0.0002018242,0.000208408,0.0001808519,0.0004110986,0.0003270045,0.004038348,0.00003458292,0.0002143107],"category_scores_gemma":[0.00006232904,0.0001609489,0.00007330882,0.001110127,0.004589219,0.0009665096,0.001733663,0.0001929252,0.0004091838],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003630147,"about_ca_system_score_gemma":0.00009463789,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001040475,"about_ca_topic_score_gemma":6.233664e-7,"domain_scores_codex":[0.9975129,0.0001172289,0.0002822669,0.0007650885,0.000599639,0.0007228495],"domain_scores_gemma":[0.9980124,0.0002053169,0.00007380329,0.001213945,0.0001440565,0.0003504522],"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.00000543659,0.00006484069,0.00003925251,0.000002975723,0.000002712222,0.00004042682,0.001171315,0.00001363987,0.00009565852,0.9584234,0.0000313467,0.04010896],"study_design_scores_gemma":[0.0001085395,0.000115811,0.001849279,0.00001025855,0.000001400715,0.00003933788,0.000003332423,0.381277,0.003928782,0.6124152,0.00006906161,0.0001819911],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0269886,0.00001503542,0.9552984,0.0002208476,0.0006266588,0.0001084254,0.000002245898,0.0004974395,0.01624232],"genre_scores_gemma":[0.726687,0.000002142151,0.2724087,0.0008380239,0.0000422223,0.000003296422,3.16914e-7,0.000006156652,0.00001218959],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6996983,"threshold_uncertainty_score":0.9981197,"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."}}