A Turing Machine defined as:
A_TM = {<M,w>| M is a TM and M accepts w}
This Machine test input w on all possible Turing Machine configurations M with the assumption of finding a Halt: accept/reject state. Notes about A_TM
1. It is undecidable
2. An Oracle TM can supposedly decide it.
3. Due to the halting problem it does not necessarily detect a halt.
4. It is a common TM to use in decidability reductions.
For more information go to school, buy a book, or look online. Disclaimer- I'm Not responsible for your girlfriend dumping you when she finds out you're wasting your time on this.
A_TM = {<M,w>| M is a TM and M accepts w}
This Machine test input w on all possible Turing Machine configurations M with the assumption of finding a Halt: accept/reject state. Notes about A_TM
1. It is undecidable
2. An Oracle TM can supposedly decide it.
3. Due to the halting problem it does not necessarily detect a halt.
4. It is a common TM to use in decidability reductions.
For more information go to school, buy a book, or look online. Disclaimer- I'm Not responsible for your girlfriend dumping you when she finds out you're wasting your time on this.
Deciding the compliment of All_CFG
Create Oracle TM for A_TM.
T^A_TM = "on input <All_CFG>
1. Construct TM N where
N = "On any input:
1. Run All_CFG in parrallel on all strings in E*
2. If All_CFG creates any of these strings accept, else reject
2. Query the oracle to determine whether any string in E* was created by All_CFG and see if <N,0> exists in A_TM
3. If oracle answers NO, accept, if YES, reject
This should decide ~ALL_CFG in relation to A_TM.
Create Oracle TM for A_TM.
T^A_TM = "on input <All_CFG>
1. Construct TM N where
N = "On any input:
1. Run All_CFG in parrallel on all strings in E*
2. If All_CFG creates any of these strings accept, else reject
2. Query the oracle to determine whether any string in E* was created by All_CFG and see if <N,0> exists in A_TM
3. If oracle answers NO, accept, if YES, reject
This should decide ~ALL_CFG in relation to A_TM.
by Csci dropout May 10, 2005
Get the ATM machine mug."You want me to write a virus for a Macintosh? The reason Macintosh never gets any viruses is because nobody gives a shit about that Macintrash."
by The Dunadan July 30, 2008
Get the Macintrash mug.Related Words
maclin
• Macintosh
• machine
• macking
• Machine Gun Kelly
• mackin
• Machine Gun
• Macintrash
• machinima
• Maccin'
by melonss August 16, 2010
Get the shit machine mug.(mah-kin out)
to kiss a partner passionately or what would be considered inappropriately in public (linked with PDA)
similarities to the meaning of making out however mackin' is considered to be early classic American slang
to kiss a partner passionately or what would be considered inappropriately in public (linked with PDA)
similarities to the meaning of making out however mackin' is considered to be early classic American slang
Jane: hey where's Shelley today?
Rachel: totally mackin' out with Martin behind the bleachers
Jane: ew
Rachel: totally mackin' out with Martin behind the bleachers
Jane: ew
by offthewall May 19, 2012
Get the Mackin' out mug.by benjaminpeepee March 8, 2019
Get the Macland Taylor mug.by vbg12 July 22, 2009
Get the killa machine mug.Victor: Hey Brian nice car, what is that?
Brian: Oh that's my Cadillac
Victor: Oh, nice time machine
Brian: Oh that's my Cadillac
Victor: Oh, nice time machine
by Vbomb September 25, 2010
Get the time machine mug.