<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=143.107.45.30</id>
	<title>formulasearchengine - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=143.107.45.30"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/wiki/Special:Contributions/143.107.45.30"/>
	<updated>2026-05-02T03:35:19Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Pumping_lemma_for_regular_languages&amp;diff=9938</id>
		<title>Pumping lemma for regular languages</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Pumping_lemma_for_regular_languages&amp;diff=9938"/>
		<updated>2013-10-15T11:48:17Z</updated>

		<summary type="html">&lt;p&gt;143.107.45.30: /* Formal statement */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{lowercase}}&lt;br /&gt;
{{unreferenced|date=August 2012}}&lt;br /&gt;
In [[mathematics]], the &#039;&#039;&#039;q-theta function&#039;&#039;&#039; is a type of [[q-series]]. It is given by&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\theta(z;q)=\prod_{n=0}^\infty (1-q^nz)\left(1-q^{n+1}/z\right)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where one takes 0&amp;amp;nbsp;&amp;amp;le;&amp;amp;nbsp;|&#039;&#039;q&#039;&#039;|&amp;amp;nbsp;&amp;lt;&amp;amp;nbsp;1.  It obeys the identities&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\theta(z;q)=\theta\left(\frac{q}{z};q\right)=-z\theta\left(\frac{1}{z};q\right). &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
It may also be expressed as:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\theta(z;q)=(z;q)_\infty (q/z;q)_\infty&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where &amp;lt;math&amp;gt;(\cdot  \cdot )_\infty&amp;lt;/math&amp;gt; is the [[q-Pochhammer symbol]].&lt;br /&gt;
&lt;br /&gt;
==See also==&lt;br /&gt;
* [[theta function|Jacobi theta function]]&lt;br /&gt;
* [[Ramanujan theta function]]&lt;br /&gt;
&lt;br /&gt;
[[Category:Q-analogs]]&lt;br /&gt;
[[Category:Theta functions]]&lt;br /&gt;
&lt;br /&gt;
{{combin-stub}}&lt;/div&gt;</summary>
		<author><name>143.107.45.30</name></author>
	</entry>
</feed>