{"id":"W4392869357","doi":"10.1016/j.tcs.2024.114506","title":"Converting finite width AFAs to nondeterministic and universal finite automata","year":2024,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Nondeterministic finite automaton; Mathematics; Deterministic finite automaton; Multiplicative function; Finite-state machine; Discrete mathematics; Combinatorics; Deterministic automaton; ω-automaton; String (physics); Automaton; Quantum finite automata; Algorithm; Automata theory; Computer science; Mathematical analysis; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":true,"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.001108716,0.0004707086,0.0006149239,0.0009396895,0.0009126568,0.003451771,0.001366326,0.001027064,0.005162791],"category_scores_gemma":[0.008846097,0.0007066568,0.001395565,0.0009341892,0.001873977,0.00602718,0.002893069,0.002782162,0.001558195],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001073582,"about_ca_system_score_gemma":0.0008728298,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001452702,"about_ca_topic_score_gemma":0.001683284,"domain_scores_codex":[0.9986816,0.0002588412,0.0001395837,0.0003301854,0.0003770077,0.0002127327],"domain_scores_gemma":[0.9951066,0.002552752,0.0001982005,0.00131847,0.0006886517,0.0001353186],"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.0001767219,0.00008210851,0.0007091854,0.0001448089,0.00002491172,0.0002341109,0.0008834898,0.01322599,0.009473276,0.8906321,0.002664215,0.08174912],"study_design_scores_gemma":[0.00002305915,0.0000261256,0.0001625887,0.0000406891,0.00003543897,0.0001179002,0.0001969479,0.04898898,0.01152768,0.9266732,0.01218141,0.00002606612],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07873728,0.0003244924,0.8909903,0.0004926548,0.0004441643,0.0001076791,0.000441737,0.004930906,0.02353087],"genre_scores_gemma":[0.6972173,0.000363921,0.2879393,0.0003249749,0.000189934,0.0001484101,0.0007287747,0.001703653,0.01138366],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005162791,"threshold_uncertainty_score":0.01727128,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008332763396113298,"score_gpt":0.2415168579993666,"score_spread":0.2331840946032533,"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."}}