Abstract:
Given a strong bimonoid P, we introduce P-valued non-deterministic Turing machines (P-NTM), P-valued non-deterministic Turing machines with classical transition (P-NTMc),...Show MoreMetadata
Abstract:
Given a strong bimonoid P, we introduce P-valued non-deterministic Turing machines (P-NTM), P-valued non-deterministic Turing machines with classical transition (P-NTMc), P-valued deterministic Turing machines (P-DTM) and P-valued non-deterministic Turing machines with the tape-head no remove (P-NTMS). We adapt depth-first and width-first methods for defining the weight of acceptance of languages recognized by Turning machines. And we study some basic properties of P-NTM, P-NTMc, P-NTMS. Moreover, We prove that variants of P-NTM with changing its P-valued initial function have the same power as P-NTM. These conclusions still hold for P-NTMc and P-NTMS.
Date of Conference: 15-17 August 2015
Date Added to IEEE Xplore: 14 January 2016
ISBN Information: