{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005215582,0.0006469837,0.000565319,0.00056182,0.0008594351,0.001637636,0.00121832,0.0008361824,0.009864042],"category_scores_gemma":[0.002793732,0.0005733133,0.0006640115,0.0007407855,0.001614998,0.004481623,0.002134214,0.002091072,0.00250414],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006927563,"about_ca_system_score_gemma":0.0005357098,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003880219,"about_ca_topic_score_gemma":0.0004905204,"domain_scores_codex":[0.999343,0.0001887839,0.00005655648,0.0001534637,0.0001847201,0.00007341553],"domain_scores_gemma":[0.998167,0.001134612,0.00006657219,0.0003372579,0.000195486,0.00009905444],"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.00006482691,0.00003047261,0.0001421036,0.0000873252,0.000006491156,0.000135398,0.0002801761,0.00493457,0.004846674,0.9567649,0.00169359,0.03101342],"study_design_scores_gemma":[0.000008695529,0.00001966869,0.0000594189,0.00002027347,0.000008377574,0.0001713403,0.00003832493,0.02147495,0.002992906,0.9633088,0.01188601,0.00001140216],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06747853,0.001393438,0.7758623,0.0005611822,0.0003975888,0.00009258468,0.0004855303,0.001922342,0.1518064],"genre_scores_gemma":[0.7334662,0.001115773,0.1775734,0.0002640416,0.0002343363,0.0003210315,0.0006911741,0.0006364969,0.08569767],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009864042,"threshold_uncertainty_score":0.0329985,"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."}}