{"id":"W40607377","doi":"10.1007/978-3-319-04298-5_39","title":"Unary NFAs with Limited Nondeterminism","year":2014,"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":"Unary operation; Nondeterministic algorithm; Regular language; Computer science; Nondeterministic finite automaton; Discrete mathematics; Automaton; Bounded function; Finite-state machine; Deterministic finite automaton; Exponential function; Mathematics; Combinatorics; Algorithm; Automata theory; 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.001562428,0.0007575412,0.0008600315,0.0007677714,0.001023561,0.002988339,0.001629936,0.001161635,0.008291269],"category_scores_gemma":[0.005948071,0.0008080901,0.001284506,0.000781553,0.002513126,0.01151854,0.002037461,0.003003727,0.002452064],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001157991,"about_ca_system_score_gemma":0.000708397,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004767126,"about_ca_topic_score_gemma":0.00056983,"domain_scores_codex":[0.9984736,0.0003371095,0.0001518876,0.0004121878,0.000453141,0.0001720758],"domain_scores_gemma":[0.9966666,0.001853134,0.0001308733,0.0009778857,0.000296389,0.00007499508],"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.00007918679,0.0000276584,0.0001665653,0.0002601205,0.00001673237,0.0001264417,0.0003201017,0.004367325,0.004266181,0.9238137,0.002594134,0.0639618],"study_design_scores_gemma":[0.00002052082,0.00002444953,0.00008453203,0.00008842009,0.00003341552,0.0002945861,0.00003149938,0.01616113,0.005227827,0.9483234,0.02968799,0.00002223963],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0418056,0.002056335,0.8479409,0.001083684,0.0004699971,0.0001203943,0.0004258831,0.002793101,0.1033041],"genre_scores_gemma":[0.716821,0.001774026,0.2293558,0.0004198258,0.0004131743,0.0003295961,0.0006097633,0.0008556996,0.04942117],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008291269,"threshold_uncertainty_score":0.02773708,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01104340316334352,"score_gpt":0.2165686796843752,"score_spread":0.2055252765210316,"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."}}