{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009663766,0.0005210199,0.0005346011,0.0008726466,0.0008002426,0.001622141,0.001182702,0.0009728641,0.005955095],"category_scores_gemma":[0.005806561,0.0004010474,0.001476837,0.0007996092,0.001669394,0.003843973,0.002089825,0.001701289,0.0007617152],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009062928,"about_ca_system_score_gemma":0.0007691222,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001048046,"about_ca_topic_score_gemma":0.001221474,"domain_scores_codex":[0.9979462,0.0004242158,0.0001748266,0.0005523596,0.0006777695,0.0002246675],"domain_scores_gemma":[0.9952179,0.002135074,0.0003419001,0.001508598,0.0005649849,0.0002315922],"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.0002240082,0.0001345448,0.001172549,0.0001448402,0.00003466925,0.0004426317,0.0008190649,0.03261528,0.008260464,0.87309,0.002635878,0.08042607],"study_design_scores_gemma":[0.00004925046,0.0002140024,0.0007655964,0.0000829554,0.00005479436,0.0009960503,0.000196709,0.1986841,0.008436266,0.7295135,0.0609393,0.00006747404],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09352316,0.0005743888,0.8695778,0.000906001,0.0001931564,0.0002085606,0.0005269958,0.001126753,0.03336319],"genre_scores_gemma":[0.6617717,0.0004993482,0.3222326,0.0004027302,0.000201653,0.0003457126,0.00105112,0.0001977947,0.01329739],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005955095,"threshold_uncertainty_score":0.01992178,"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."}}