{"id":"W4200575172","doi":"10.3390/axioms10040338","title":"Two Extensions of Cover Automata","year":2021,"lang":"en","type":"article","venue":"Axioms","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Prince Edward Island","funders":"Universitatea din București","keywords":"Nondeterministic finite automaton; Nondeterministic algorithm; DFA minimization; Quantum finite automata; Finite-state machine; Deterministic finite automaton; Cover (algebra); Automaton; Automata theory; Computational complexity theory; ω-automaton; Deterministic automaton; Mathematics; Regular language; Theoretical computer science; Transformation (genetics); Nested word; Computer science; Algorithm","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":[],"consensus_categories":[],"category_scores_codex":[0.0001326007,0.00006357362,0.0001166549,0.00003388802,0.00004139601,0.00003663899,0.000406445,0.00002360265,0.0001205005],"category_scores_gemma":[0.00004630503,0.00005650209,0.00005737708,0.0003071601,0.00003591323,0.000200274,0.000328367,0.00004813135,0.0001882171],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007352696,"about_ca_system_score_gemma":0.00006385409,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002094238,"about_ca_topic_score_gemma":0.000001723832,"domain_scores_codex":[0.9993151,0.00003973658,0.0001373258,0.000206448,0.0001599584,0.0001414366],"domain_scores_gemma":[0.9990289,0.00009558278,0.00004687402,0.0007123922,0.00006898544,0.00004725001],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001216881,0.00009359347,0.00003831983,0.00000878442,0.000016218,0.00008055356,0.0003111098,0.00007802733,0.03505654,0.9377664,0.002377843,0.0241714],"study_design_scores_gemma":[0.002201022,0.0001456616,0.01896548,0.0001983508,0.00003473304,0.0004857811,0.0003049519,0.587438,0.2955502,0.06748518,0.02644799,0.0007426664],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2405587,0.0008400528,0.737272,0.001640203,0.0009758431,0.00007862761,0.00001109677,0.0003938073,0.0182296],"genre_scores_gemma":[0.9867749,0.00001692234,0.01185092,0.0005078584,0.00003002483,0.00000197373,0.00000321828,0.000005257653,0.0008089013],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8702812,"threshold_uncertainty_score":0.2419212,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01219213586154702,"score_gpt":0.2524540472500556,"score_spread":0.2402619113885086,"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."}}