{"id":"W1504040240","doi":"10.1007/978-3-642-02882-3_19","title":"Three New Algorithms for Regular Language Enumeration","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Algorithms and Data Compression","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Lexicographical order; Enumeration; Computer science; Word (group theory); Section (typography); Algorithm; Order (exchange); Word problem (mathematics education); Arithmetic; Mathematics; Discrete mathematics; Combinatorics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006079327,0.0004941251,0.0004760528,0.0005056977,0.0003043974,0.0007250748,0.003080095,0.0003340047,0.00001559588],"category_scores_gemma":[0.00006783994,0.0004354315,0.0001521685,0.0003720483,0.0001827072,0.000932629,0.0008194406,0.0004780316,0.00002644184],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001883529,"about_ca_system_score_gemma":0.000584448,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006072236,"about_ca_topic_score_gemma":0.00008230853,"domain_scores_codex":[0.9964975,0.00001303873,0.0004632198,0.001550377,0.0008693945,0.0006064841],"domain_scores_gemma":[0.997406,0.0002489009,0.0002673794,0.001669134,0.0001841827,0.0002243911],"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.000004170068,0.00001352297,0.000001183615,0.00001089794,0.000004723542,0.00003226802,0.0002975079,0.002947114,0.0001668805,0.01241941,0.0003105793,0.9837918],"study_design_scores_gemma":[0.0003624784,0.0002258236,0.00003087351,0.0002231257,0.000007306054,0.000051305,8.279003e-8,0.680406,0.001479426,0.3080358,0.008648378,0.0005293696],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000004623748,0.001155234,0.9948885,0.0009883568,0.001461376,0.0006212663,0.00001504964,0.0001963403,0.0006692537],"genre_scores_gemma":[0.0007340357,0.00002967307,0.995563,0.001185365,0.001537759,0.000009102019,0.00004504701,0.00003031026,0.0008656791],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9832624,"threshold_uncertainty_score":0.9998097,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01974062869428361,"score_gpt":0.2635594364890722,"score_spread":0.2438188077947886,"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."}}