{"id":"W2826831346","doi":"10.1007/978-3-319-94631-3_17","title":"Cycle Height of Finite Automata","year":2018,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Nondeterministic algorithm; Nondeterministic finite automaton; Deterministic finite automaton; Finite-state machine; Computation; Polynomial; GF(2); Mathematics; Discrete mathematics; Combinatorics; Finite field; Automaton; Computer science; Algorithm; Automata theory; Theoretical computer science; Mathematical analysis","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.0002223307,0.0004514212,0.0006104806,0.001623123,0.0009628109,0.00228862,0.0007513766,0.0005520544,0.009632847],"category_scores_gemma":[0.001487745,0.0004589624,0.0005153313,0.001797012,0.001372517,0.003201512,0.001190695,0.001787068,0.001136554],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001412239,"about_ca_system_score_gemma":0.0006509862,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001183649,"about_ca_topic_score_gemma":0.001176712,"domain_scores_codex":[0.9996463,0.00004462498,0.00001351329,0.00008131849,0.0001347503,0.00007947953],"domain_scores_gemma":[0.9992934,0.0004160219,0.00003340086,0.00007594859,0.00009390007,0.0000873713],"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.00004861377,0.0000180845,0.0001915709,0.00009025088,0.000007767136,0.00004566266,0.0002742907,0.002528833,0.00221842,0.9678262,0.002884881,0.02386529],"study_design_scores_gemma":[0.000007487779,0.00001602469,0.0002538156,0.00002319519,0.00001192087,0.00004187771,0.00006055066,0.004892005,0.001337973,0.9848216,0.008522586,0.00001107279],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3995161,0.009195415,0.1245341,0.002031327,0.0008552797,0.0001225504,0.001179343,0.0009903344,0.4615755],"genre_scores_gemma":[0.9454035,0.0025616,0.01112842,0.0002197332,0.0005032072,0.00009419906,0.0006363881,0.0002539807,0.039199],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009632847,"threshold_uncertainty_score":0.03222513,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01188781930824402,"score_gpt":0.2307891815948052,"score_spread":0.2189013622865612,"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."}}