Now showing items 8-10 of 10

    • Icon

      P Colony Automata with LL(k)-like Conditions  [Presentation]

      Csuhaj Varjú, Erzsébet; Kántor, Kristóf; Vaszil, György (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
      We investigate the possibility of the deterministic parsing (that is, parsing without backtracking) of languages characterized by (generalized) P colony automata. We de ne a class of P colony automata satisfying a property ...
    • Icon

      Spiking Neural P Systems with Addition/Subtraction Computing on Synapses  [Presentation]

      Jiang, Yun; Chen, Zhiqiang (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
      Spiking neural P systems (SN P systems, for short) are a class of distributed and parallel computing models inspired from biological spiking neurons. In this paper, we introduce a variant called SN P systems with ...
    • Icon

      Testing Identifiable Kernel P Systems Using an X-machine Approach  [Presentation]

      Gheorghe, Marian; Ipate, Florentin; Lefticaru, Raluca; Turlea, Ana (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
      This paper presents a testing approach for kernel P systems (kP systems), based on the X-machine testing framework and the concept of cover automaton. The testing methodology ensures that the implementation conforms the ...