{"id":"W4384937916","doi":"10.1016/j.tcs.2023.114078","title":"On Simon's congruence closure of a string","year":2023,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada; National Research Foundation of Korea; Ministry of Science, ICT and Future Planning","keywords":"Alphabet; Congruence (geometry); Mathematics; Combinatorics; String (physics); Closure (psychology); Regular language; Discrete mathematics; Computer science; Automaton; Linguistics; Theoretical computer science","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.002173252,0.001025503,0.00228113,0.002775555,0.005466803,0.004893054,0.001259412,0.002164028,0.01314893],"category_scores_gemma":[0.006741154,0.0008175954,0.00195241,0.002815452,0.006934395,0.01008123,0.004515109,0.003358292,0.001483457],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002837623,"about_ca_system_score_gemma":0.001209904,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003088994,"about_ca_topic_score_gemma":0.001589247,"domain_scores_codex":[0.9972702,0.0005945707,0.0001894512,0.0005374319,0.0007137292,0.00069452],"domain_scores_gemma":[0.9964025,0.002183466,0.000280546,0.0003059663,0.000379402,0.0004481435],"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.00005825076,0.00001138383,0.00005255266,0.00001476603,0.00000269177,0.00008608797,0.0003292507,0.0001972123,0.0004264577,0.9969102,0.0004626833,0.001448638],"study_design_scores_gemma":[0.00003321431,0.00001792728,0.00008571446,0.000009916815,0.000005522698,0.00006360841,0.0001183558,0.001083557,0.0003866735,0.9951042,0.003079539,0.00001174121],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3641237,0.00179385,0.177934,0.006272655,0.00170446,0.0001575736,0.0007019233,0.001156335,0.4461555],"genre_scores_gemma":[0.9573317,0.0004812593,0.01435467,0.0004819284,0.0006785328,0.00008167612,0.0002943719,0.0002409335,0.02605493],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01314893,"threshold_uncertainty_score":0.04398757,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009520618453839953,"score_gpt":0.2483763127231153,"score_spread":0.2388556942692753,"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."}}