{"id":"W2962795882","doi":"10.25596/jalc-2017-029","title":"Unrestricted State Complexity of Binary Operations on Regular and Ideal Languages","year":2017,"lang":"en","type":"article","venue":"UWSpace (University of Waterloo)","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Ideal (ethics); State (computer science); Mathematics; Computer science; Binary number; Arithmetic; Programming language; Epistemology; Philosophy","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002092452,0.0007128311,0.001205521,0.001342444,0.0017313,0.005120456,0.002173805,0.0009943396,0.007096492],"category_scores_gemma":[0.01681328,0.0007434297,0.002175224,0.001582001,0.00326916,0.01455812,0.003688839,0.003614788,0.000644533],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003853968,"about_ca_system_score_gemma":0.003638174,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002862094,"about_ca_topic_score_gemma":0.003467031,"domain_scores_codex":[0.9935569,0.0009138695,0.0005944066,0.001306377,0.001809762,0.001818553],"domain_scores_gemma":[0.9713586,0.02006778,0.002447377,0.003086519,0.001797791,0.001241975],"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.002418715,0.0009123218,0.01364288,0.0006648758,0.000195472,0.000619199,0.002641403,0.2277271,0.03134307,0.6547263,0.003864419,0.06124437],"study_design_scores_gemma":[0.00008979096,0.000223112,0.001996681,0.00004464782,0.0001153511,0.0002479404,0.0004703595,0.451703,0.02080277,0.5221592,0.002024473,0.0001226816],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.84986,0.0004612588,0.1329751,0.001071138,0.00006116182,0.0001490438,0.001224256,0.0007368196,0.01346111],"genre_scores_gemma":[0.9732201,0.0002166592,0.02144422,0.0001059044,0.00008052064,0.000173919,0.001181293,0.0001833506,0.003394047],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007096492,"threshold_uncertainty_score":0.02796257,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02019124733844362,"score_gpt":0.2252460219160035,"score_spread":0.2050547745775598,"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."}}