wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

turing_machine_weighted (540B)

      1 # Turing machine weighted
      2 
      3 [turing_machine_weighted_definition]
      4 
      5 They are to [Turing_machines] what [weighted_automata] are to [automata]
      6 
      7 Can define [complexity_classes] that are [formal_power_series]: [weighted_language_series_correspondence]
      8 - see also [weighted_complexity_classes] in [badia2024logical]
      9 
     10 Were originally called "algebraic turing machines" in [damm2002complexity], connected to [weighted_automata] in [kostolanyi2023weighted]
     11 
     12 Up: [turing_machine], [weighted]
     13 
     14 Aliases: Weighted Turing machine, weighted Turing machines