{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001007167,0.0001039278,0.0001477457,0.000775533,0.0002223547,0.0005406014,0.003991725,0.00002515508,0.00003770219],"category_scores_gemma":[0.0002351262,0.00008812381,0.00009115908,0.0007106008,0.0005789047,0.002033525,0.000406926,0.0001147854,0.00006317549],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009432367,"about_ca_system_score_gemma":0.0005227251,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000110471,"about_ca_topic_score_gemma":0.000002776226,"domain_scores_codex":[0.9978902,0.00004466472,0.0005498093,0.0002261191,0.001121026,0.0001681911],"domain_scores_gemma":[0.9966116,0.0001912125,0.0003265667,0.0004697745,0.002301862,0.0000990043],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002839958,0.000534618,0.0001963399,0.000003358943,0.00008964921,0.00003218467,0.001384906,0.01588417,0.006731672,0.653995,0.001125834,0.3199939],"study_design_scores_gemma":[0.0007778814,0.0009937957,0.009284345,0.0001679669,0.000008171871,0.0003093744,0.00001655115,0.9452243,0.01939443,0.01992479,0.00369216,0.0002061983],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08562258,0.000009216716,0.9067809,0.002580944,0.003905834,0.00004632562,0.000004113044,0.00003595936,0.001014121],"genre_scores_gemma":[0.8119062,0.000007897255,0.1870557,0.0005447993,0.0004501743,8.613443e-7,9.654206e-7,0.000003566375,0.00002983349],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9293402,"threshold_uncertainty_score":0.7417685,"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."}}