{"id":"W801472226","doi":"10.1007/978-3-319-19225-3_4","title":"Nondeterministic Tree Width of Regular Languages","year":2015,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University; University of Prince Edward Island","funders":"","keywords":"Computer science; Nondeterministic algorithm; Programming language; Tree (set theory); Theoretical computer science; Mathematics; Combinatorics","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.001209541,0.0004090721,0.000684683,0.0009008573,0.0008112545,0.002819068,0.00164674,0.0007548853,0.005357434],"category_scores_gemma":[0.007327518,0.0008043227,0.0007148117,0.001276144,0.00157743,0.00699344,0.001858848,0.002951595,0.0009237636],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001098296,"about_ca_system_score_gemma":0.0007555949,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004447853,"about_ca_topic_score_gemma":0.0005380067,"domain_scores_codex":[0.9987698,0.0002730475,0.0001121106,0.0003170592,0.0003621513,0.0001657482],"domain_scores_gemma":[0.9954124,0.003117528,0.0002616002,0.0006483002,0.0003398887,0.0002202607],"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.0001708574,0.00003444127,0.0004110298,0.0001404325,0.00001086773,0.00006115959,0.0004626796,0.006078828,0.006253584,0.950577,0.001629434,0.03416963],"study_design_scores_gemma":[0.0000183617,0.00002024119,0.0001999112,0.00003093217,0.00001366562,0.00007267901,0.00006289928,0.01811674,0.003172178,0.974378,0.003900062,0.00001434042],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2944834,0.002582841,0.6234864,0.001500989,0.0003161406,0.00008642935,0.0009500323,0.00141409,0.07517959],"genre_scores_gemma":[0.892406,0.001068009,0.08593372,0.0002062534,0.0002492657,0.0001683028,0.0007323407,0.00083964,0.01839642],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005357434,"threshold_uncertainty_score":0.01792246,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01794984032262465,"score_gpt":0.2570241980910572,"score_spread":0.2390743577684326,"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."}}