{"id":"W3008205532","doi":"10.1007/978-3-030-40608-0_13","title":"Alternating Finite Automata with Limited Universal Branching","year":2020,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Computation; Bounded function; Tree (set theory); Automaton; Finite-state machine; Mathematics; Branching (polymer chemistry); Discrete mathematics; Algorithm; Computer science; Combinatorics; Theoretical computer science","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005694721,0.0005994698,0.0005555007,0.0006486093,0.00031345,0.0008655023,0.004496647,0.0002104688,0.00001602668],"category_scores_gemma":[0.0000990067,0.0005107227,0.0001104209,0.0008201608,0.0005014194,0.001040028,0.001891505,0.00101137,0.0000545094],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002126386,"about_ca_system_score_gemma":0.0004606925,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002644313,"about_ca_topic_score_gemma":0.00002589316,"domain_scores_codex":[0.9960713,0.00004506174,0.0004305169,0.001728249,0.001070345,0.0006545064],"domain_scores_gemma":[0.9970664,0.0008155107,0.000365448,0.001376225,0.0001369579,0.0002394393],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002009999,0.00003116778,0.00008072759,0.00007323391,0.00003955868,0.0009758783,0.001939164,0.08785412,0.0002540928,0.0921896,0.00002113983,0.8165212],"study_design_scores_gemma":[0.0004451481,0.000237364,0.00006597832,0.0006784258,0.000009590542,0.0001032446,3.650053e-7,0.9452341,0.0006126965,0.05108511,0.0008241295,0.0007038738],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003328677,0.0001524995,0.9916988,0.001358718,0.0008571749,0.0002583234,0.000007211012,0.0006252672,0.004709149],"genre_scores_gemma":[0.4589449,0.00002707418,0.536478,0.003699771,0.0005908167,0.000003875624,0.00001082278,0.00007021388,0.0001745149],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.85738,"threshold_uncertainty_score":0.9997345,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01298920217007227,"score_gpt":0.2141400756487295,"score_spread":0.2011508734786572,"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."}}