{"id":"W1972572665","doi":"10.1142/s0129054113400315","title":"THE EDIT-DISTANCE BETWEEN A REGULAR LANGUAGE AND A CONTEXT-FREE LANGUAGE","year":2013,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Edit distance; Context-free language; Regular language; Computer science; String (physics); Nondeterministic finite automaton; Regular expression; Deterministic pushdown automaton; Unary operation; Formal language; Automaton; Theoretical computer science; Discrete mathematics; Mathematics; Algorithm; Programming language; Rule-based machine translation; Artificial intelligence; Automata theory","routes":{"ca_aff":true,"ca_fund":true,"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.001730747,0.0004505674,0.0007396928,0.001385636,0.0007333395,0.001727537,0.001478047,0.001102835,0.002970509],"category_scores_gemma":[0.01386045,0.0004325472,0.001056004,0.00137649,0.001424002,0.003977367,0.001666333,0.001021299,0.0008203834],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008900894,"about_ca_system_score_gemma":0.001154645,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007885773,"about_ca_topic_score_gemma":0.0009295758,"domain_scores_codex":[0.9973102,0.0006741135,0.0003352671,0.0008981749,0.0006385337,0.0001437809],"domain_scores_gemma":[0.9901959,0.006564322,0.0005562268,0.001615656,0.0007722158,0.000295641],"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.0009922911,0.0003682357,0.007895268,0.001416197,0.0003122808,0.001649305,0.002122933,0.06287746,0.06040868,0.4875824,0.008355695,0.3660194],"study_design_scores_gemma":[0.0001066978,0.0006354415,0.00342208,0.0001413319,0.000174762,0.002580002,0.0005927664,0.2123548,0.03699781,0.7083342,0.03452136,0.0001387751],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1256721,0.0005273111,0.8655131,0.0005038406,0.0002105031,0.000154475,0.0009105117,0.001616437,0.004891709],"genre_scores_gemma":[0.3888957,0.0003667476,0.6061407,0.0001468375,0.0001128011,0.0001698555,0.00101247,0.0003046851,0.002850229],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002970509,"threshold_uncertainty_score":0.009937346,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007283888517623,"score_gpt":0.2653929551883784,"score_spread":0.2581090666707554,"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."}}