{"id":"W2888233883","doi":"10.1142/s012905411842008x","title":"Operations on Unambiguous Finite Automata","year":2018,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Saskatchewan","funders":"","keywords":"Concatenation (mathematics); Mathematics; Combinatorics; Nondeterministic finite automaton; Quotient; Closure (psychology); Discrete mathematics; String (physics); Regular language; Deterministic finite automaton; Upper and lower bounds; Alphabet; Finite-state machine; Automaton; Computer science; Automata theory; 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.001661482,0.0009474881,0.0009867371,0.001520068,0.001696369,0.004495133,0.001584776,0.001127121,0.007290174],"category_scores_gemma":[0.01644306,0.0008377687,0.001488806,0.00187397,0.003590039,0.01230885,0.003717319,0.00256708,0.001074552],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001441559,"about_ca_system_score_gemma":0.001076812,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001086292,"about_ca_topic_score_gemma":0.0008954117,"domain_scores_codex":[0.9946138,0.001013108,0.0007012525,0.001189837,0.001693925,0.0007880022],"domain_scores_gemma":[0.9795297,0.01405702,0.0015612,0.002543891,0.001527741,0.0007804788],"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.0001823185,0.00006564662,0.0008875286,0.0002134198,0.00001668381,0.0002025013,0.0006214637,0.02086425,0.005156367,0.9464365,0.001151916,0.02420144],"study_design_scores_gemma":[0.00002179368,0.00005513489,0.0002391921,0.00003002207,0.00001825435,0.0001067679,0.0001133841,0.03574936,0.004407694,0.9551646,0.00405928,0.00003458749],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3608298,0.001599259,0.5958172,0.0009868598,0.0002697806,0.000191471,0.001316219,0.001522579,0.0374669],"genre_scores_gemma":[0.8828743,0.0009173214,0.1088983,0.0001964886,0.0003006982,0.000292021,0.0007733971,0.0003046551,0.005442862],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007290174,"threshold_uncertainty_score":0.02438807,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01799966834057566,"score_gpt":0.3097499118820159,"score_spread":0.2917502435414403,"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."}}