{"id":"W2621373850","doi":"10.1007/978-3-319-60252-3_16","title":"Branching Measures and Nearly Acyclic NFAs","year":2017,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Nondeterministic algorithm; Combinatorics; Path (computing); Directed acyclic graph; Finite-state machine; String (physics); Mathematics; Nondeterministic finite automaton; Discrete mathematics; Computation; Automaton; Algorithm; Computer science; Automata theory; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001240526,0.000512382,0.0005392666,0.0005235262,0.0006826252,0.002091939,0.004387597,0.0002891274,0.00000915187],"category_scores_gemma":[0.0001557811,0.0004462395,0.0001094145,0.00013515,0.001003282,0.00122142,0.002015893,0.0007906703,0.00003384401],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001003583,"about_ca_system_score_gemma":0.0002861316,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005095949,"about_ca_topic_score_gemma":0.00006732618,"domain_scores_codex":[0.9965461,0.00003763053,0.0003719562,0.001545778,0.0008603364,0.0006381844],"domain_scores_gemma":[0.9968971,0.0004081859,0.0003244783,0.002051681,0.0001131153,0.000205413],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000002412383,0.000008395226,0.00006173287,0.00002132214,0.000008873264,0.00007438749,0.0008202204,0.0004929586,0.0002699159,0.0276825,0.00001486386,0.9705424],"study_design_scores_gemma":[0.0004380991,0.0001610715,0.001303129,0.0008685775,0.00001346921,0.0002748063,1.951494e-7,0.2527245,0.001348163,0.7350968,0.006560417,0.00121077],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0005167236,0.001639142,0.9894319,0.0008252772,0.00155461,0.000229021,0.000003063917,0.0002080338,0.005592283],"genre_scores_gemma":[0.7278016,0.0002344139,0.2671649,0.002682028,0.001040877,0.000008841266,0.000002824255,0.00006859035,0.0009959379],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9693316,"threshold_uncertainty_score":0.999799,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01823453053306076,"score_gpt":0.2433358189701808,"score_spread":0.22510128843712,"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."}}