{"id":"W4234130960","doi":"10.1142/s012905411940032x","title":"Branching Measures and Nearly Acyclic NFAs","year":2019,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Combinatorics; Mathematics; Nondeterministic algorithm; Nondeterministic finite automaton; Path (computing); String (physics); Discrete mathematics; Computation; Finite-state machine; Directed acyclic graph; Automaton; Algorithm; Computer science; Automata theory","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":[],"consensus_categories":[],"category_scores_codex":[0.001094355,0.00007956041,0.0001462269,0.0004809948,0.00008360403,0.0005555904,0.002330883,0.00001888661,0.0000125962],"category_scores_gemma":[0.00008075392,0.00006749231,0.00006568532,0.0003612888,0.0002159389,0.002827398,0.0003903405,0.0001129977,0.00001190626],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004466748,"about_ca_system_score_gemma":0.0002439637,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001062932,"about_ca_topic_score_gemma":9.224423e-7,"domain_scores_codex":[0.9983279,0.00003475909,0.0003975043,0.0001870368,0.0009228069,0.0001300392],"domain_scores_gemma":[0.9982365,0.0001728228,0.0004037427,0.0002565973,0.0008523868,0.00007795535],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001935142,0.0001432138,0.008738894,0.000009799884,0.00009379171,0.0000155408,0.002330273,0.00261075,0.03639692,0.2715759,0.0001440055,0.6779215],"study_design_scores_gemma":[0.002781763,0.0008663106,0.2456722,0.0006351763,0.00002485273,0.00204609,0.0001277109,0.5966804,0.02378957,0.1178094,0.008913635,0.000652921],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4339985,0.00006067762,0.5631788,0.0008822163,0.001565271,0.0000319408,6.04203e-7,0.00001099742,0.000271032],"genre_scores_gemma":[0.894453,0.00001972165,0.1051727,0.0002060983,0.0001288427,2.919834e-7,2.16712e-7,0.000002681704,0.00001642841],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6772686,"threshold_uncertainty_score":0.5357572,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01014768162714559,"score_gpt":0.2704078059195983,"score_spread":0.2602601242924528,"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."}}