Hello! (Wave)
I want to show that the language $L=\{ n \in \mathbb{N} | T_n(0) \uparrow \}$ is not recursive.
In order to do so, we could reduct the halting problem $H=\{ (n,x) \in \mathbb{N} \times \mathbb{N}^{<\infty} | \text{ with input } x \text{ the machine } T_n \text{ halts} \}$ to $L$...
I am neither adept at philosophy nor physics, but in the "what is spacetime" thread I got the distinct impression that some people were letting language conventions, which are human-reason based, take precedence over physics, which is experience based.
Link-...
Hello! (Wave)
I want to prove that if $L$ is regular then $L^R=\{ w | w^R \in L \}$ is regular.
I have thought the following:
We suppose that $L$ is regular. Then there is a dfa that recognizes $L$.
Assume that $q_0$ is the starting state and $q_n$ is an accepting state, where $n \in...
Hey! :o
I want to show that the language $H_\epsilon=\{x \mid M_x(\epsilon )\text{ halts } \}$ is undecidable, by reducing $H_0$ to that.
We have that $H_0=\{x\mid M_x(x)\text{ halts } \}$.
Suppose that $H_\epsilon$ is decidable. Then there is Turing machine that computes this language for...
Eventually at some level commands will have to be converted into something a non-sentient device can respond to. My understanding is that computers are essentially a big network of switches. So how is machine code (I think basically a file containing bits of information representing a series of...
Animals dream and have no word, so articulate language is not necessary to dream and may be to think.
Since one preceded the other, may be there is a relation.
Hello,
I want to know:
1. Compiler name built especially for doing full-fledged mathematics.
2. Langauge name built especially for doing full-fledged mathematics.
3. Integrated software development environment name built especially for doing full-fledged mathematics.
4. Language, compiler and...
Hello! (Wave)
The following DFA is given:
I want to find the language that it recognizes. The alphabet is $\Sigma=\{0,1\}$.
Isn't the language this one: $(0^{\ast} 1^{+} 0^{\ast} )^{+}$?
Also I want to draw a dfa that recognizes the following languages and that have the referred number of...
Homework Statement
Is the language 0i10j decidable? ( this is 0 to the ith power and 10 to the jth power just to clarify)
Please design a turing machine to prove your conclusion
Homework EquationsThe Attempt at a Solution
I'm honestly really stuck on this example and I don't have any idea on...
Please help me to understand the answer I found on mathoverflow.
The question was: "Do all uncountable sets contain elements with infinite Kolmogorov complexity?"
The reasoning is clear for me, but I'd like to understand every word of the answer, which is the following:
"...given a language...
Hi guys, I'm new to this language. When studying I'm really confused and don't know where to start, even with a simple example. I have read the book Introduction to Computing System but it doesn't help much. Can you show me some ways or books that can help me ?
a new software install ...
this is going to upset those on the west side of the Atlantic :wink::wink::-p
for those interested ... http://store.steampowered.com/
isn't my thing thoDave
After learning HTML&CSS, which do you reckon I should learn? Javascript, Python, C or Ruby?
Also, how long would it take to master it assuming I spend full 3 hours each day?
I'm stuck with a problem.I wanted to learn Java.I learned C language during my middle school days and I found it interesting(Only my teacher was not so good) I managed to learn some concepts.I planned to learn this whole Java during my summer vacation.The vacation has arrived but I still...
Well, a pet project of mine is growing into a fine elephant.
The goal was to control a Holset HE351 variable vane turbocharger.. So I got an Arduino.. and relearned my lost C++ that was never good anyhow.
Then I wanted a display for it, so I wrote a basic one in well. VB.net, but I can't fit a...
Homework Statement
given that f,g,h,i and j are assigned to registers s0,s1,s2,s3 and s4
and the base addresses for the arrays A,B are in s6,s7
convert this C statement to assemply language: B[8] = A[i-j];
Homework Equations
none
The Attempt at a Solution
image attachedi attached both...
Homework Statement
1. Give a language L that cannot be decided by a TM using space O(log n) and time less than n on inputs of length n. The language L should be decidable by some TM. Assume the TM has a binary input alphabet.
Homework Equations
Undecidability, Turing Machines, Languages...
http://thenextweb.com/us/2016/01/22/trumpscript-is-a-programming-language-that-thinks-and-acts-like-donald/?utm_medium=email&utm_source=flipboard
Some Features
No floating point numbers, only integers. America never does anything halfway.
All numbers must be strictly greater than 1 million...
Because it happened. My parents always say that i was proficient in language A. But i have no memory of language A. I have the memory of language B and C, which my parents say i learned afterwards.
Is this even possible? How could i have known my first language (when i was 4-6 years old), and...
Anyone can explain to me What does it mean for a language not to be complete?
for example P has 2 languages are not complete for P
ø and {0,1} are not complete for P.
Hi
i wanted to learn a new language probably German ,can anyone please give me advice about books and other resources .I am planning to learn two -three languages by next august( 2016). after December 12th (after completing my college application and stuff) i can spend straight 7 hours a day in...
Hello everyone I am going to buy a computer soon. And because I don't have much money, computer s ram can be 4 GB at most and which will cause me some trouble. My question is that will 2gb ram be enough to work on MATLAB and learning to code.
;
; *** Listing 5.2 ***
;
; Program to illustrate one use of write mode 2 of the VGA and EGA by
; drawing lines in color patterns.
;
; Assembled with TASM 4.0, linked with TLINK 6.10
; Checked by Jim Mischel 11/21/94
;
Stack segment para stack 'STACK'
db 512 dup(0)
Stack ends...
[Thread moved by mentor]
Hi there.
As the title says, I want to inductively define the language consisting of the strings {a, b, aa, bb, aaa, bbb} and so on. I have come up with the following:
Is this a correct method of inductively definining such a language, and am I defining the language...
Where or how can I get Piet programming to to work on windows 10 I don't care how, only that I can program in Piet offline and NOT a trial. I have gone around the block and come so close to getting it, and then, something doesn't add up. The closest I have come to getting it to work is here...
I mean something like a translator ( a convertor , if you prefer ) for another platform , windows for example , to translate the codes of an android program that is written in java language to the ios language which is Xcode . That way , lots of apps that are unavailable for android or ios ...
Hello everyone,
Head of our Physics department has asked me to teach a programming course for a few of their PhD candidates (mostly theoretical) who unfortunately are very bad in programming. He has shortage in his department and he wants someone from CS to do the job.
I looked around and it...
Hello everybody,
Like you, I love physics and would love to obtain at least a B.sc in Physics, but I am in a sort of a dilemma. Should I go to Leipzig, where they have an English taught bachelor or should I spend a year studying German in order to take a DSH exam and then attend a German...
I'm a physics major and would like to pick up a programming language or two.
Any insight as to what language(s) would be most applicable, best compilers (for Windows), or any other general tips?
I'm very new to programming (just used MATLAB really), so please explain your answers as much as...
In english language i use sufficiency and necessity interchangeably to mean the same thing (is that right?) this is now preventing me from understanding the conditional connectives, and i fear i might end up remembering what each of the conditional statements mean (eg: for "Q is necessary...
< Mentor Note -- thread moved to HH from the technical math forums, so no HH Template is shown >
This is from the question list at the UC Davis Website epsilon delta exercise list.
In the exercise list we have:
Prove that
Which concludes with:
Thus, if , it follows that...
Does anyone know where I can find some material (for free) on IDL? I'm new to programming, and I would like to teach myself this language. I would like suggestions to material that is "novice" friendly.
haruspex submitted a new PF Insights post
Frequently Made Errors in Probability - Conditionals in Natural Language
Continue reading the Original PF Insights Post.
I'm a math and chemistry double major and hope to go to grad school in cheminformatics, my eventual goal would be to work as a data scientist for a drug company. My question is what languages should I learn first? The CS class I need to take for my math major is C++ but I'm not sure if this is...
Dear Physics Forum personnel,
I am a college sophomore in US with a major in mathematics, and I am also an aspiring number theorist. My math advisers strongly recommend me to learn an additional foreign language, preferably one from Russian, French, Chinese, or German); I am proficient only in...
I am trying to build an interactive physics model for thr students in my school.
I'm not sure how I can do it.
I tried to write it on Java and C# with no success.
I don't want it to be a web application.
Which tools and languages I should use.
It seems being able to program is a very valuable tool to a student studying physics (about to be a 3rd year). I'm transferring from a CC to a four year soon. I noticed a lot of the universities I've been accepted to have had their sophomores take some programming this year.
Over the summer...
Hey! :o
If $K$ is a set of natural numbers and $b$ is a natural number greater than $1$, let $$L_b(K)=\{w \mid w \text{ is the representation in base } b \text{ of some number in } K\}$$
Leading $0$s are not allowed in the representation of a number.
For example, $L_2(\{3, 5\})=\{11, 101\}$...
I am a physics undergraduate and is going to pursue a physics Ph.D. degree from 2015 Fall.
I am thinking about learning some programming language to enrich my knowledge. Also, I hope this kind of skill could enlarge the scope of my future career. Please give me some advice on which language...
In two semesters or so, i will be taking a numerical analysis course as part of an Applied Mathematics major. In the course description it says that you should have knowledge of at least one programming language, but i cannot find any more information about this. What do you all think would be...
Homework Statement
I work on Microsoft Visual studio 2010 on Win7.
Ok so let me explain the problem here, The functions works very good to position my printf in X and Y on my screen ONLY when my 2D Array labyrinth Map is NOT printed on the screen.
But once I printf my Map on the screen I...
Hi, I need to implement a mini imperative language in Haskell but I'm struggling to get my head around it.
I need to implement an increment and decrement function like ++ and -- in other languages.
We've been given some skeleton code which we need to complete in order to run a factorial...
Hey! :o
Let $L=\{k |km \in K \text{ for some } m \in M\}$.
How can we show that if $K$ is regular and $M$ is any language, then $L$ is regular?? (Wondering)
Hey! :o
Let $$C_n=\{x \ \mid \ x \text{ is a binary number that is a multiple of } n\}$$
Show that for each $n \geq 1$, the language $C_n$ is regular. Could you give me some hints how we could show that??
Do we have to construct a NFA that accepts the language??
Homework Statement
- Calculating the factorial of a number N
- For simulating the roll of a die 200 times (include the calculation for the relative frequency of the number 4 in the upface of the die within the 200 rolls)
Homework Equations
None?
The Attempt at a Solution
I am taking this...
Hey! :o
How can we show that the class of regular languages is closed under the following operation??
Let $L_1$ and $L_2$ be laguages over $\Sigma=\{0, 1\}$.
The operation is: $$\{x \in L_1 | \text{ for some } y \in L_2, \text{ strings } x \text{ and } y \text{ contains equal numbers of }...
Homework Statement
Using rep() and seq() as needed, create the vector
1 2 3 4 5 2 3 4 5 6 3 4 5 6 7 4 5 6 7 8 5 6 7 8 9
Homework EquationsThe Attempt at a Solution
I figured out that seq() only takes numbers for the 'from' and 'to' arguments, since I tried seq(seq(...)).
Also, I'm not...
Is there a computer programming language that is the "best" and/or most transferable (in terms of making it easier to learn other languages down the line) for someone who is just getting started in this area?
I literally have zero programming experience as of the moment, but would like to get...
That's the question. I've had a go at drawing a diagram to help me explain it.
My understand is that from the start state, an A pushes an A to the stack and stays in the initial state s. Getting a B whilst in state s pops an A from the stack and moves to final state f. Getting a B whilst in...