{"id":"W2461701302","doi":"","title":"Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015 Waterloo, ON, Canada, June 25-27, 2015 : proceedings","year":2015,"lang":"en","type":"book","venue":"Springer eBooks","topic":"Natural Language Processing Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Nondeterministic finite automaton; Regular language; Deterministic finite automaton; Deterministic automaton; Mathematics; Discrete mathematics; Nondeterministic algorithm; Succinctness; Pumping lemma for regular languages; Decidability; Quantum finite automata; Formal language; Finite-state machine; Computer science; Automata theory; Automaton; Theoretical computer science; Algorithm; Programming language","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008743796,0.0006088449,0.0007156514,0.0004741853,0.0001295822,0.0003795527,0.003102867,0.0004273702,0.00001851945],"category_scores_gemma":[0.00007988034,0.0005464348,0.0001491614,0.00009429514,0.0002748955,0.0005299443,0.001229034,0.0009906314,0.00002112946],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001635569,"about_ca_system_score_gemma":0.002875327,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01530603,"about_ca_topic_score_gemma":0.01608237,"domain_scores_codex":[0.9955691,0.00003107092,0.0008453438,0.0008413552,0.002058786,0.0006543813],"domain_scores_gemma":[0.9965603,0.00005016509,0.0008138884,0.0006474257,0.001631875,0.0002962928],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00006334949,0.00003309087,0.00002647091,0.0003102217,0.0001531216,0.00005180731,0.0006201969,0.00000584311,0.0001657775,0.3308187,0.6645445,0.003206958],"study_design_scores_gemma":[0.0009878973,0.000263506,0.000062115,0.003151343,0.00008619653,0.0001996227,0.00008716174,0.003573046,0.003081488,0.09999429,0.886643,0.00187033],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0004694275,0.007364016,0.03988175,0.004490305,0.02046143,0.003098307,0.0005587699,0.002283686,0.9213923],"genre_scores_gemma":[0.03271357,0.000006763942,0.06067469,0.0003466998,0.001532592,0.00009324611,0.0001339937,0.0001148879,0.9043835],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.2308244,"threshold_uncertainty_score":0.9996987,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03406205820868684,"score_gpt":0.2609885873500331,"score_spread":0.2269265291413463,"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."}}