カメラに偏光フィルターを装着すると、方向により反射光の光量をコントロールできる。このため、水辺などの撮影において反射光を抑制したい際に有用である。液晶ディスプレイの表面と裏面には、特定の直線偏光のみを通す「偏光フィルター」が貼られており、液晶によって各画素ごとに旋光性や複屈折性をコントロールすることで、映像を表示している。光磁気ディスクには、磁気によって偏光面が回転する性質（磁気光学カー効果）を持った物質が含まれており、レーザー光を照射して反射してきた光の偏光面を検出してデータを読み取る。立体映画の手法としても用いられる。左右の映像にそれぞれ縦横の偏光をかけて重ねて映写し、観客は偏光フィルターの付いたメガネを装着することで、左右の映像を分離して知覚できるため、立体像を鑑賞することが可能となる。比較的低コストでカラー映像を映写できる利点があるが、非平面スクリーンでは偏光がズレてしまうため映写できない。また直偏光では顔やメガネが傾くと正常に立体視できない事があり、近年は円偏光が用いられる方式が多い。刑務所などの扉の窓には、偏光板が貼られたものがある。これは、通路の両側にある部屋の窓の偏光を、片方は垂直、片方は水平に偏光させることにより、看守は両側の部屋の内部を見ることができるが、向かいの部屋の囚人同士は互いを見られなくすることができる。
物質の一部には、偏光を入射すると透過した光の偏光面が右ないし左によじれる性質を持つ物がある。この物性を旋光性とよび、旋光性をもつ化合物を光学活性であると言う。偏光面のよじれ具合を旋光度と呼び、単位は角度（度）で右によじれる場合を + とする。旋光度は透過した距離と光学活性物質の濃度に比例し、旋光度を光路長と濃度で割って規格化した値を比旋光度と呼ぶ。比旋光度は温度、溶媒、光の波長が同じであれば、各物質に固有の値であるので、天然物などの化合物の同定にも用いられる。
量子力学的には光は光子である。光子スピンには +1, −1 の2つの状態があり、それぞれ円偏光の右旋光、左旋光と対応している（逆に対応付けている場合もある）。
言語 (ab)* を受理する決定性有限オートマトンと非決定性有限オートマトンのシミュレート。%                               a%                  -------------------------->%         状態_0                                 状態_1%                  <--------------------------%                               b%%          言語(ab)*を受理する決定性有限オートマトンの遷移%'言語(ab)*を受理する決定性有限オートマトン'(_記号ならび) :-        '言語(ab)*初期状態'(_状態),        '言語(ab)*を受理する決定性有限オートマトン'(_状態,_記号ならび).'言語(ab)*を受理する決定性有限オートマトン'(_状態,[_記号|R]) :-        '言語(ab)*'(_状態,_記号,_状態_1),        '言語(ab)*を受理する決定性有限オートマトン'(_状態_1,R).'言語(ab)*を受理する決定性有限オートマトン'(_状態,[]) :-        '言語(ab)*終了状態'(_状態).'言語(ab)*初期状態'(状態_0).'言語(ab)*終了状態'(状態_0).'言語(ab)*'(状態_0,a,状態_1).'言語(ab)*'(状態_1,b,状態_0).%%                               a%                  -------------------------->%       状態集合_0 {0}                         状態集合_1 {1}%                  <--------------------------%                               b%%          言語(ab)*を受理する非決定性有限オートマトンの遷移%'言語(ab)*を受理する非決定性有限オートマトン'(_記号ならび) :-        '言語(ab)*初期状態'(_状態),        '言語(ab)*を受理する非決定性有限オートマトン'(_状態,_記号ならび).'言語(ab)*を受理する非決定性有限オートマトン'(_状態,[_記号|R]) :-        '言語(ab)*'(_状態集合,_記号,_状態集合_1),        状態集合(_状態集合,_状態),        状態集合(_状態集合_1,_状態_1),        '言語(ab)*を受理する決定性有限オートマトン'(_状態_1,R).'言語(ab)*を受理する非決定性有限オートマトン'(_状態,[]) :-        '言語(ab)*終了状態'(_状態).'言語(ab)*初期状態'(0).'言語(ab)*終了状態'(0).'言語(ab)*'(状態集合_0,a,状態集合_1).'言語(ab)*'(状態集合_1,b,状態集合_0).状態集合(状態集合_0,0).状態集合(状態集合_1,1).記号ならびが [a,b,a,b,a,b] のように a,b が対になって最後まで並んでいる場合だけ真となる。正規表現を正しく理解してプログラムテスト等に挑むためには、このようなコードの理解も必要である。非決定性有限オートマトンを状態集合で記述したが、これを'言語(ab)*' に展開してしまうことも可能である。例えば 状態集合_1 が {1,2} である場合には、'言語(ab)*'(0,a,1).'言語(ab)*'(0,a,2).'言語(ab)*'(1,b,0).'言語(ab)*'(2,b,0).と展開できる。複数行になるだけで、決定性有限オートマトンと形式的なの違いはなくなってしまう。決定性有限オートマトンは、このような複数の状態を書かないという約束事によって成立している。上記、有限オートマトンと同等の Prolog 述語としての定義は、'(ab)*'([]).'(ab)*'([a,b|R]) :-        '(ab)*'(R).とこれも相当に短いコードとなる。