{"id":"W2400697196","doi":"","title":"Equivalence of SDVFA of order (s, t) with DFA, VDFA, NFA and e-NFA.","year":2014,"lang":"en","type":"article","venue":"Ars Combinatoria","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Mathematics; Equivalence (formal languages); Pure mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002243602,0.0001062987,0.0002072942,0.00006623864,0.00004309638,0.00002479633,0.0003972311,0.00003723709,0.000006179308],"category_scores_gemma":[0.00005046627,0.00008857484,0.00002349382,0.000346527,0.0001097171,0.0002427009,0.0001907186,0.00006747641,0.000005006917],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009281071,"about_ca_system_score_gemma":0.00005921072,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009001636,"about_ca_topic_score_gemma":0.000003819852,"domain_scores_codex":[0.9991062,0.00005229523,0.0002117035,0.0002392535,0.0002276742,0.0001629182],"domain_scores_gemma":[0.9991494,0.0001508572,0.0001589271,0.0003337151,0.000139379,0.00006768756],"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.00001511404,0.00008175633,0.002861242,0.00005360377,0.00001751679,0.000001415278,0.0005395902,0.00006813508,0.001622426,0.9700372,0.0002648772,0.02443715],"study_design_scores_gemma":[0.003083062,0.0015463,0.042466,0.0002414751,0.00003167015,0.0000246521,0.0000468864,0.05885393,0.02940851,0.862398,0.001382619,0.0005169361],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9707167,0.0001143715,0.02701842,0.0002596514,0.000445668,0.00009743578,0.000001028825,0.00004157168,0.001305132],"genre_scores_gemma":[0.9943265,0.000009335412,0.005521076,0.00005078923,0.000006183367,0.000003020886,8.250148e-7,0.000005798972,0.00007641932],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1076392,"threshold_uncertainty_score":0.3611977,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006513538967334668,"score_gpt":0.2103832256949049,"score_spread":0.2038696867275703,"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."}}