{"id":"W2991381026","doi":"10.1016/j.tcs.2019.11.022","title":"Unique decipherability in formal languages","year":2019,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Chomsky hierarchy; Undecidable problem; Unique factorization domain; Combinatorics; Mathematics; Context (archaeology); Multiset; Factorization; Regular language; Word (group theory); Hierarchy; Context-free language; Formal language; Discrete mathematics; Philosophy of language; Computer science; Decidability; Artificial intelligence; Rule-based machine translation; Automaton; Philosophy; Algorithm","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.002714149,0.0006090103,0.001591816,0.002342337,0.002720081,0.005267722,0.001492459,0.001975408,0.005136024],"category_scores_gemma":[0.01755955,0.001088985,0.001322252,0.001810248,0.007223519,0.01382299,0.005029008,0.004597838,0.0006752952],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001379363,"about_ca_system_score_gemma":0.001060385,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004048406,"about_ca_topic_score_gemma":0.0002718395,"domain_scores_codex":[0.9959894,0.001040517,0.0003885234,0.001201557,0.0007557546,0.0006243309],"domain_scores_gemma":[0.9734361,0.01823646,0.00196422,0.003755673,0.001641881,0.0009655732],"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.00005894945,0.00001713445,0.0003436971,0.00006419812,0.000008611514,0.0001758548,0.0008430058,0.001440013,0.0008880832,0.9872639,0.0004496704,0.008446898],"study_design_scores_gemma":[0.000009665426,0.00001232117,0.00006838885,0.00001347151,0.00001003641,0.0001846887,0.0001144955,0.002967321,0.001136312,0.9945977,0.0008708559,0.00001477051],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4749343,0.001741175,0.4784334,0.002658427,0.000396272,0.00009373802,0.0003387177,0.001255229,0.04014882],"genre_scores_gemma":[0.9740355,0.0003565752,0.01922912,0.0002400625,0.0001652371,0.00006900229,0.0001164857,0.0001854438,0.005602504],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005267722,"threshold_uncertainty_score":0.01718169,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004845414963894193,"score_gpt":0.2447670603921896,"score_spread":0.2399216454282954,"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."}}