{"id":"W2049140374","doi":"10.1016/j.tcs.2006.07.021","title":"Prime normal form and equivalence of simple grammars","year":2006,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Algorithms and Data Compression","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec en Outaouais","funders":"","keywords":"Terminal and nonterminal symbols; Context-sensitive grammar; Indexed grammar; Tree-adjoining grammar; Mathematics; Context-free grammar; Prefix; Simple (philosophy); Discrete mathematics; Definite clause grammar; L-attributed grammar; Combinatorics; Equivalence (formal languages); Concatenation (mathematics); Logical equivalence; Computer science; Rule-based machine translation; Artificial intelligence; Linguistics","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.002229411,0.0005699106,0.001208176,0.002220738,0.001563585,0.003707378,0.001184613,0.001318218,0.006884492],"category_scores_gemma":[0.0119376,0.0005979055,0.001133861,0.002257125,0.006197121,0.009474188,0.003054716,0.004262044,0.0009038338],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001285468,"about_ca_system_score_gemma":0.0009365599,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009784745,"about_ca_topic_score_gemma":0.0006414531,"domain_scores_codex":[0.9968739,0.0008850799,0.0002018936,0.0007274691,0.0009557792,0.0003558188],"domain_scores_gemma":[0.9918321,0.005482872,0.0003746563,0.00119169,0.0007750941,0.0003433773],"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.00004774888,0.00002786296,0.0001599034,0.0000227513,0.000005589977,0.00008610657,0.000437557,0.000884697,0.0004593916,0.9857662,0.0007712572,0.01133085],"study_design_scores_gemma":[0.000006560554,0.000005519431,0.00004326474,0.000002620326,0.000002762701,0.00003535653,0.00002029677,0.001005977,0.0001703389,0.9976713,0.001032376,0.000003743249],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2758706,0.001692007,0.582135,0.004169183,0.0006307114,0.0001674119,0.0006092027,0.0009685113,0.1337574],"genre_scores_gemma":[0.9150546,0.001047591,0.06091453,0.0007900778,0.0008103284,0.0001596462,0.0008351756,0.0003559713,0.02003211],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006884492,"threshold_uncertainty_score":0.02303088,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005867900226174842,"score_gpt":0.2298530984603369,"score_spread":0.2239851982341621,"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."}}