{"id":"W4413470498","doi":"10.1007/978-3-031-84869-8_2","title":"On Constructing Finite Automata by Relational Programming","year":2025,"lang":"en","type":"book-chapter","venue":"Springer proceedings in mathematics & statistics","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Programming language; Automaton; Theoretical computer science","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.001423568,0.001136114,0.001412072,0.001093516,0.001534412,0.003546568,0.002550148,0.001051245,0.01536275],"category_scores_gemma":[0.004898163,0.001401069,0.002886918,0.002181114,0.004354383,0.00885101,0.00380162,0.004125183,0.004059401],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001553543,"about_ca_system_score_gemma":0.0009118001,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002431484,"about_ca_topic_score_gemma":0.00300599,"domain_scores_codex":[0.9985617,0.0004468547,0.0001105789,0.0003640705,0.0003843779,0.000132459],"domain_scores_gemma":[0.9972925,0.001922147,0.00005626459,0.0005382988,0.0001302213,0.00006068743],"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.00003368225,0.00003974974,0.0001545194,0.0002311776,0.0000201221,0.00004960952,0.0005860672,0.008242812,0.001790699,0.9089354,0.004193561,0.07572271],"study_design_scores_gemma":[0.00001347374,0.00001243926,0.00007001726,0.00004985089,0.00001613081,0.00004092238,0.00007896509,0.01500586,0.001556331,0.9693959,0.01374266,0.00001747936],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0071685,0.00104087,0.9611593,0.0007806105,0.000148904,0.0000791503,0.0001894044,0.001790154,0.02764314],"genre_scores_gemma":[0.1602462,0.002069464,0.8112566,0.0006053788,0.0002501936,0.0003031111,0.0009995525,0.00193086,0.02233869],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01536275,"threshold_uncertainty_score":0.05139351,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01439445814878033,"score_gpt":0.2384296293471486,"score_spread":0.2240351711983682,"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."}}