{"id":"W1965531865","doi":"10.1142/s0129054105003364","title":"RESTRICTED SETS OF TRAJECTORIES AND DECIDABILITY OF SHUFFLE DECOMPOSITIONS","year":2005,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University; Acadia University","funders":"","keywords":"Decidability; Unary operation; Mathematics; Regular language; Context (archaeology); Set (abstract data type); Discrete mathematics; Context-free language; Combinatorics; Computer science; Automaton; Theoretical computer science; Programming language; Artificial intelligence; Rule-based machine translation","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.002839792,0.0005608356,0.0008453159,0.001284829,0.001639235,0.004045465,0.002099799,0.001314015,0.003744067],"category_scores_gemma":[0.01080423,0.00100477,0.002429401,0.0009735943,0.004072665,0.01098381,0.003607122,0.004507679,0.0004029192],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002224385,"about_ca_system_score_gemma":0.001513652,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001998192,"about_ca_topic_score_gemma":0.00167962,"domain_scores_codex":[0.9967625,0.0005480944,0.0003353634,0.001080899,0.0006679051,0.000605267],"domain_scores_gemma":[0.9856397,0.009448631,0.001049535,0.002223181,0.0007615567,0.0008774936],"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.0004367056,0.0002471338,0.004376527,0.0002267291,0.00009768271,0.0006241477,0.001747441,0.04103273,0.01262923,0.9126331,0.001267715,0.02468094],"study_design_scores_gemma":[0.00005537043,0.00005486801,0.0005457834,0.0000429813,0.00003544076,0.0002415607,0.0004257771,0.0755453,0.01343783,0.9068511,0.002727303,0.00003676434],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5341905,0.0005346249,0.450504,0.001250945,0.00006002021,0.0001548242,0.0009356995,0.001313881,0.01105556],"genre_scores_gemma":[0.9365505,0.0003232595,0.05460368,0.0002045272,0.00005662697,0.0002261959,0.001602545,0.00021341,0.006219224],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004045465,"threshold_uncertainty_score":0.01613915,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01234376465392803,"score_gpt":0.3010579654795872,"score_spread":0.2887142008256592,"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."}}