{"id":"W1722516136","doi":"10.3233/fi-2010-287","title":"Computing Maximal Error-detecting Capabilities and Distances of Regular Languages","year":2010,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"semigroups and automata theory","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Saint Mary's University","funders":"","keywords":"Computer science; Programming language; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004677384,0.0001118137,0.0001735201,0.00006918251,0.0001335503,0.0001617849,0.0004207032,0.0000405533,0.00003134948],"category_scores_gemma":[0.00007799662,0.00009391212,0.00003713158,0.0001187185,0.0001898609,0.0007564698,0.0002988578,0.0001504345,0.000007818908],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001046474,"about_ca_system_score_gemma":0.00001653136,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003263121,"about_ca_topic_score_gemma":0.00001287507,"domain_scores_codex":[0.9990993,0.00002086315,0.000342774,0.0001256136,0.000195772,0.0002157394],"domain_scores_gemma":[0.9991783,0.0001936812,0.0001704473,0.0003674651,0.00003090934,0.00005915036],"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.00001948779,0.00009500398,0.01212901,0.0009882386,0.00008086942,0.000008872265,0.05971994,0.00003804306,0.02583833,0.5681745,0.000348767,0.3325589],"study_design_scores_gemma":[0.003052335,0.0008717963,0.07337061,0.0008185868,0.00006722026,0.0005147844,0.1092549,0.6007536,0.1302063,0.06268207,0.01624495,0.002162777],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9727302,0.00008046011,0.02285364,0.0001263907,0.000191287,0.00009984046,0.000005886478,0.0001226905,0.003789628],"genre_scores_gemma":[0.9580797,0.000002175642,0.04172292,0.000112848,0.00003317812,0.000002718004,0.000001920588,0.000004536635,0.00004003387],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6007156,"threshold_uncertainty_score":0.3829625,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007556075071810087,"score_gpt":0.2427834738689129,"score_spread":0.2352273987971029,"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."}}