Results 1 to 2 of 2

Math Help - Language recursive, sat recursive

  1. #1
    Newbie
    Joined
    Apr 2012
    From
    france
    Posts
    1

    Language recursive, sat recursive

    Is it true that set SAT is recursive. ? ( SAT means satisfiability )

    and Language a^k b^k c^k d^k | k=>0 } is recursive. ?

    In my opinion both are true.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785

    Re: Language recursive, sat recursive

    Of course, satisfiability is decidable, and the second language is decidable as well. It is relatively easy to write programs that decide memberships in those languages using some modern programming language.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. recursive
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: May 26th 2010, 06:27 PM
  2. Recursive Definition of Language odd
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: April 25th 2010, 05:36 AM
  3. Recursive!!! Am I doing this right??
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: March 21st 2009, 09:10 PM
  4. Primitive Recursive vs Recursive Functions
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: January 29th 2009, 08:32 AM
  5. recursive def
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: July 31st 2007, 09:01 AM

Search Tags


/mathhelpforum @mathhelpforum