{"id":"W2126946720","doi":"10.1142/s0218196708004913","title":"EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM","year":2008,"lang":"en","type":"article","venue":"International Journal of Algebra and Computation","topic":"semigroups and automata theory","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Variety (cybernetics); Mathematics; Signature (topology); Function (biology); Algebra over a field; Finite-state machine; Discrete mathematics; Pure mathematics; Algorithm","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.004606077,0.0004561191,0.001085261,0.001788527,0.002260334,0.007136316,0.00235414,0.001999235,0.005387171],"category_scores_gemma":[0.03735701,0.0005849476,0.001521114,0.002314687,0.007447686,0.02232748,0.004488453,0.005552286,0.0006072802],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003092957,"about_ca_system_score_gemma":0.0014177,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001188278,"about_ca_topic_score_gemma":0.0006785506,"domain_scores_codex":[0.9946994,0.001521113,0.0003418648,0.001299254,0.001531854,0.0006065514],"domain_scores_gemma":[0.9495215,0.04152457,0.001907519,0.003172011,0.002542343,0.001332033],"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.00007194095,0.00004260491,0.001908164,0.00007531678,0.00002032139,0.00008566533,0.0005756805,0.00952247,0.0007578971,0.9742639,0.000987792,0.0116881],"study_design_scores_gemma":[0.000006650325,0.00000861654,0.0003979609,0.000009070804,0.000008409541,0.00006470805,0.00008616495,0.02876346,0.0008607449,0.9688454,0.0009339489,0.00001493505],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4614182,0.001263366,0.4855686,0.007879346,0.0001455949,0.000133835,0.0005538028,0.0003631432,0.04267412],"genre_scores_gemma":[0.9550781,0.0003748525,0.03849876,0.0002436427,0.0003290677,0.0001132542,0.0004177017,0.00007864278,0.00486585],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007136316,"threshold_uncertainty_score":0.02435958,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04422240327387793,"score_gpt":0.2675585111768122,"score_spread":0.2233361079029342,"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."}}