{"id":"W1512254831","doi":"10.1007/3-540-45687-2_27","title":"Algorithms for Computing Small NFAs","year":2002,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Computer science","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.001817393,0.001655811,0.001652349,0.002489019,0.001541658,0.003899237,0.003393746,0.001624843,0.01868809],"category_scores_gemma":[0.01076224,0.001029559,0.002342596,0.00357925,0.002287255,0.01227203,0.004050422,0.003270002,0.004109787],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002065587,"about_ca_system_score_gemma":0.001381986,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001556579,"about_ca_topic_score_gemma":0.003407639,"domain_scores_codex":[0.9983279,0.0003666922,0.0001520341,0.0004334528,0.0005219419,0.0001979921],"domain_scores_gemma":[0.9905326,0.006261481,0.0002870293,0.00207105,0.0006119018,0.0002358207],"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.0004239108,0.000185711,0.001080743,0.000677907,0.00008717703,0.00007988082,0.0005239914,0.03259827,0.005792812,0.4800432,0.01255398,0.4659525],"study_design_scores_gemma":[0.0000673363,0.00004444334,0.0001693185,0.00007125166,0.00006175161,0.00009559326,0.0001100378,0.1097037,0.003548631,0.8763294,0.009773848,0.00002481444],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01611967,0.0005957134,0.9703616,0.0003479037,0.0001001554,0.0001374331,0.000300045,0.003402844,0.008634735],"genre_scores_gemma":[0.1456701,0.0007158786,0.8403818,0.0002175338,0.0001630972,0.0004914438,0.001391934,0.0008698327,0.01009839],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01868809,"threshold_uncertainty_score":0.06251788,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03125291508506543,"score_gpt":0.248655068798754,"score_spread":0.2174021537136885,"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."}}