Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [rewriting-systems]

The tag has no usage guidance.

0
votes
1answer
21 views

Formula Rearrangement

Hi StackExchange community, The formula has this form: $$ {-7 \pm X \over \sqrt{2} - 3}-3.$$ How can I rewrite this to be more compact ? Thank you.
0
votes
1answer
23 views

Need help isolating variables (average translational energy equation)

I need to rewrite equation so that i can use gamma function. Below are assignment text and my steps and reasoning so far: The probability of finding a translational energy in the range $$E_{tr}, ...
6
votes
2answers
75 views

In rewiring systems do definitions creates new rewrite laws or an alias? And is this a meaningful question?

Lambda calculus is often introduced as a rewriting or substitution system. Where $\beta$ reduction is described as replacing bound variables with the value that variable is bound to. For example $(\...
1
vote
1answer
24 views

a locally confluent and terminatting rewrite system is complete

I want to prove that every locally confluent rewrite system is confluent. Since I know very little about rewrite systems and logic, I tried looking at it as a digraph with no external infinite paths ...
-2
votes
1answer
55 views

Rewrite formula $P_u = 0.7(0.8)[0.85f_c(A_g-P_g A_g)+f_y P_g A_g]$ then find A_g [closed]

How can I rewrite this formula for Cement Column Confinement where I need to find the $A_g$ and the given formula is: $$P_u = 0.7(0.8)[0.85f_c(A_g-P_g A_g)+f_y P_g A_g]$$ How can I find $A_g$ by ...
1
vote
4answers
2k views

What is this constant 'C' in integration? Why is it different when I integrate using different techniques?

Method 1: Method 2: In these two images, you will see that I have integrated $\sin^3 x$ using different techniques. As you can see I get different answers. I asked my teacher why this is and he said ...
1
vote
1answer
43 views

A question about a confluent abstract rewriting system?

Let $(A,\rightarrow)$ be a confluent abstract rewriting system. Assume that $a\stackrel{*}\rightarrow b$, $a\stackrel{*}\rightarrow c$ is a fork. Then $b,c$ is joinable, that is, there is a $d\in A$ ...
1
vote
1answer
100 views

How to extract PID parameters from a controller in zpk form?

I have a plant of 3th order, e.g.: $$ G(s)=\frac{5}{(s+2)(s^2+2s+4)} $$ that I want to control by tracking the reference. Now I need to have a fast response, zero steady-state error and low overshoot. ...
1
vote
1answer
61 views

A question about how to check a rewriting system is confluent?

I am reading the book "Computation with finitely presented groups" on page 59, I don't know why we need only test six words? does any other words can be generated by the six words? it is seems not.
2
votes
1answer
20 views

Special Sequences, homework

I'm preparing for my mathematics exam and I am stuck on something which I believe should be simple. The question is as follows: A rough estimate of the total oil and gas reserves of a country at the ...
1
vote
1answer
37 views

Prove confluence

I have these 2 questions to prove or disprove confluence. 1) Answer 2) Answer Now I am having difficulty understanding these. Aren't these 2 questions same? then why in one case it is confluent ...
2
votes
1answer
314 views

Consequences of difference between “strong” and weak Church-Rosser property

An Abstract rewriting system is a set A, whose elements are usually called objects, together with a binary relation on A, traditionally denoted by $\rightarrow$. An object $x \in A$ is called ...
3
votes
1answer
234 views

Bergman's Diamond Lemma: do these rules lead to a normal form?

Last week I was recommended Bergman's Diamond Lemma in these comments. I read through the paper, and was working on an exercise in it on page 193: Examine for termination each of the following ...