{"id":"W3150719485","doi":"","title":"Transition complexity of incomplete dfas","year":2011,"lang":"en","type":"article","venue":"","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University; Western University","funders":"","keywords":"Intersection (aeronautics); Descriptive complexity theory; Transition system; Finite-state machine; Deterministic finite automaton; Computational complexity theory; Automaton; Theoretical computer science; Computer science; State (computer science); Algorithmic complexity; Nondeterministic finite automaton; Transition (genetics); Mathematics; Algorithm; Automata theory","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001271644,0.0003252727,0.0007800738,0.001486336,0.0008101719,0.002893759,0.001053451,0.0006988382,0.003215301],"category_scores_gemma":[0.01122903,0.0003025508,0.001268765,0.001049335,0.001558632,0.006724474,0.001380015,0.001590656,0.0002148378],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002772235,"about_ca_system_score_gemma":0.001215989,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002799342,"about_ca_topic_score_gemma":0.001832821,"domain_scores_codex":[0.9978068,0.0003846918,0.0002280041,0.0004816157,0.0007794919,0.0003194178],"domain_scores_gemma":[0.9880002,0.008208713,0.001082194,0.001066899,0.001207062,0.0004348446],"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.0002086336,0.00006608429,0.004559534,0.0002453855,0.00008199341,0.000285875,0.0006819358,0.1771324,0.005514346,0.7886885,0.0008002834,0.02173488],"study_design_scores_gemma":[0.00001715578,0.00003983236,0.001025049,0.00002242911,0.00003572238,0.000111633,0.0001009338,0.3582182,0.003079411,0.6352955,0.002024991,0.00002916836],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6019933,0.0005508105,0.3857265,0.0006645501,0.0000449074,0.00009307648,0.001281427,0.0004550553,0.009190289],"genre_scores_gemma":[0.9754996,0.000213062,0.02148707,0.00003863003,0.00002979603,0.00008685759,0.0006354859,0.00005591366,0.001953687],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003215301,"threshold_uncertainty_score":0.02011412,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0924043149423218,"score_gpt":0.2316918970827355,"score_spread":0.1392875821404137,"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."}}