{"id":"W1834492313","doi":"10.1016/j.tcs.2009.03.040","title":"Hierarchy and equivalence of multi-letter quantum finite automata","year":2009,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Equivalence (formal languages); Quantum finite automata; Mathematics; Regular language; Discrete mathematics; Nondeterministic finite automaton; Hierarchy; Automata theory; Computer science; Combinatorics; Algebra over a field; Automaton; Pure mathematics; Theoretical computer science; Law","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.001804273,0.0004891383,0.001664887,0.002325343,0.004826814,0.005500936,0.002598413,0.002449628,0.01006299],"category_scores_gemma":[0.007698634,0.0008211304,0.001780832,0.001517995,0.005186806,0.009333875,0.003796571,0.004444848,0.001202092],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003489066,"about_ca_system_score_gemma":0.001362539,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002621518,"about_ca_topic_score_gemma":0.002233817,"domain_scores_codex":[0.9967054,0.0008166519,0.0002683037,0.0006574663,0.0008783239,0.0006739978],"domain_scores_gemma":[0.9920852,0.004489421,0.0004061547,0.001314686,0.001060441,0.0006440913],"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.00002659547,0.00002304246,0.0000914934,0.000021293,0.000003786412,0.00004091756,0.0002914928,0.0004959619,0.0004152241,0.9956772,0.0003566653,0.002556301],"study_design_scores_gemma":[0.000007559993,0.000004817234,0.00006545184,0.000006313412,0.000002712179,0.00001590686,0.00003282818,0.002419488,0.0001524176,0.9966063,0.0006799061,0.000006116438],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4525117,0.002223693,0.3156858,0.005358883,0.0006715691,0.0001852697,0.000971643,0.001189266,0.2212022],"genre_scores_gemma":[0.954859,0.0004035751,0.03163525,0.0005963515,0.0003019431,0.000121078,0.0003714375,0.0001306572,0.01158075],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01006299,"threshold_uncertainty_score":0.03366405,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01178389548065022,"score_gpt":0.2564132395831067,"score_spread":0.2446293441024565,"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."}}