{"id":"W1993691575","doi":"10.1142/s0218196711006194","title":"AUTOMATA OVER A BINARY ALPHABET GENERATING FREE GROUPS OF EVEN RANK","year":2011,"lang":"en","type":"article","venue":"International Journal of Algebra and Computation","topic":"semigroups and automata theory","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Alphabet; Rank (graph theory); Automaton; Combinatorics; Binary number; Construct (python library); Finite-state machine; Free product; Discrete mathematics; Free group; Order (exchange); Deterministic finite automaton; Quantum finite automata; Group (periodic table); Automata theory; Arithmetic; Algorithm; Theoretical computer science; 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.0005363589,0.0006961829,0.0004140915,0.0007843812,0.0009985998,0.001372275,0.0007102936,0.000520301,0.004855793],"category_scores_gemma":[0.001804552,0.0002575439,0.0009225752,0.0004327204,0.001382977,0.002152708,0.001687803,0.0006570344,0.0009981674],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005824996,"about_ca_system_score_gemma":0.0006591251,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006061069,"about_ca_topic_score_gemma":0.0008720979,"domain_scores_codex":[0.9993778,0.0001574857,0.00005488539,0.0001205427,0.0001469337,0.0001423266],"domain_scores_gemma":[0.9981899,0.0007780595,0.0002768751,0.0003077991,0.0001874151,0.0002599367],"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.0004390463,0.0002207693,0.002620639,0.0002147784,0.00003945298,0.000704168,0.002244134,0.02040221,0.02762349,0.902696,0.002606275,0.04018884],"study_design_scores_gemma":[0.0001727258,0.0003611448,0.0007340018,0.00007586095,0.00005659517,0.0003607559,0.0003942158,0.07900196,0.03868274,0.8607576,0.01928054,0.0001217422],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6110942,0.0005009932,0.3469464,0.0005475613,0.0002669616,0.0002093391,0.0004587141,0.002124273,0.03785152],"genre_scores_gemma":[0.9249049,0.0001744647,0.06036758,0.0001140903,0.0000900236,0.0002199622,0.0004354295,0.0001228642,0.0135708],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004855793,"threshold_uncertainty_score":0.01624423,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01727021681610744,"score_gpt":0.2528932198414351,"score_spread":0.2356230030253277,"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."}}